ICAI logoICAI proceedings (2010)

8th ICAI (2010)

Content

Volume I.

Plenary session

{9-30} Queueing Theory and its Applications, A Personal View
János Sztrik
University of Debrecen, Faculty of Informatics, Hungary

Artificial Intelligence

{31-39} Artificial Neural Networks in Default Forecast
József Bozsik
Eötvös Loránd University – Faculty of Informatics
{41-51} Genetic Algorithm in Default Forecast
József Bozsik
Eötvös Loránd University – Faculty of Informatics
{53-60} Partial Approximative Set Theory: A View from Galois Connections
Zoltán Csajbók
Department of Health Informatics University of Debrecen Faculty of Health
{61-69} Artificial Intelligence and Cognitive Psychology Applications, Models
Gabriella Daróczy
University of Miskolc Hatvany József Informatikai Tudományok Doktori Iskola
{71-77} Virtual Military Robot Controlled by Emotical Agents Using Reinforcement Learning
András Fülöp, Márton Ispány
University of Debrecen Faculty of Informatics Department of Information Technology
{79-86} Verified Mobile Code Repository Simulator for the Intelligent Space
Zoltán Istenes a, Máté Tejfel a, László A. Jeni b
a Eötvös Loránd University
b University of Tokyo
{87-94} Using Gaussian Processes for Variance Reduction in Policy Gradient Algorithms
Hunor Jakab, Lehel Csató
Babes Bolyai University
{95-105} SAT Solving Experiments in Multi-Domain Logic
Tudor Jebelean a, Gábor Kusper b
a RISC, Johannes Kepler University of Linz
b Eszterházy Károly College
{107-114} Cross Entropy Optimization for Induction of Fuzzy Rule System
László Kovács
University of Miskolc, Department of Information Technology
{115-125} Empirical Investigation on Combining Tableaux and Resolution
Gergely Kovásznai a, Gábor Kusper b
a Department of Information Technology, Eszterházy Károly College, Eger, Hungary
b Department of Computing Science, Eszterházy Károly College, Eger, Hungary
{127-134} Advantages of a Multi-paradigm Programming Language in Agent-Based Model Definition
Richárd O. Legéndi, Attila Szabó
Eötvös Loránd University, AITIA International, Inc.
{135-148} Demonstration of the Modified CSN-logic
Péter Takács a, Tamás Mihálydeák b
a University of Debrecen, Faculty of Health
b University of Debrecen, Faculty of Informatics

Computer Aided Geometric Modeling and Computer Graphics

{149-156} Novel Approaches to Improve Microaneurysm Detection in Retinal Images
Bálint Antal, István Lázár, András Hajdu
Faculty of Informatics University of Debrecen POB 12, Debrecen, H-4010, Hungary
{157-165} Retinal Microaneurysm Detection Based on Intensity Profile Analysis
István Lázár, András Hajdu
Faculty of Informatics, University of Debrecen, POB 12, Debrecen, H-4010, Hungary
{167-173} Investigation of Salt Dilution Parameter of the Salted Paper Alternative Process
Veronika Lieszkovszky a, István Fejes-Tóth b, Gábor Ledeczky c, Róbert Tornai d
a Verliesz, Photo Reporter
b University of Debrecen, Faculty of Engineering
c University of Debrecen, Faculty of Informatics
d University of Debrecen, Faculty of Informatics
{175-184} Automatic Detection of the Fovea and Optic Disk in Digital Retinal Images by Combining Algorithms
Rashid Jalal Qureshi, László Kovács, Brigitta Nagy, Balázs Harangi, András Hajdu
Faculty of Informatics, University of Debrecen, POB 12, Debrecen, H-4010, Hungary
{185-192} Interesting Surfaces in Nil Space
Benedek Schultz, Jenő Szirmai
Budapest University of Technology and Economics, Institute of Mathematics, Department of Geometry
{193-202} Detecting Digital Intersections Using Line Approximation
Szilvia Szeghalmy, Henrietta Tomán, András Hajdu
Faculty of Informatics, University of Debrecen, POB 12, Debrecen, H-4010, Hungary
{203-210} Considerations on Offsetting Plane Curves
Gábor Valasek, János Vida
Eötvös Loránd University, Faculty of Informatics
{211-219} Network Topology in 3D GIS
Marianna Zichar, Szilvia Szeghalmy
Department of Computer Graphics and Image Processing, University of Debrecen

Computer Algebra

{221-228} Bivariate Difference-differential Dimension Polynomials and Their Computation in Maple
Christian Dönch, Franz Winkler
Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
{229-237} On Constructing and Visualizing Cascaded Automata
Attila Egri-Nagy, Chrystopher L. Nehaniv
Royal Society Wolfson BioComputation Research Lab Centre for Computer Science and Informatics Research University of Hertfordshire Hatfield, Hertfordshire, United Kingdom

Computer Statistics

{239-246} Parameter Estimation and Random Number Generation to Stable Distributions
Csilla Csendes
Department of Applied Mathematics, University of Miskolc
{247-253} Nonparametric Regression and Measurement Error
István Fazekas a, Alexander Kukush b
a University of Debrecen, Faculty of Informatics
b Kyiv National Taras Shevchenko University, Mechanical and Mathematical Department
{255-264} Wavelet Analysis of Qos Based Network Traffic
Zoltán Gál a, György Terdik b
a Service Center for Informatics, University of Debrecen
b Department of Informatics, University of Debrecen

Cooperative Research and Innovation

{265-272} Secure Utilization of Local and Regional Data Assets Through Mobile Environments
László Aszalós, Norbert Bátfai, László Csirmaz, János Folláth, Enikő Hajdúné Pocsai, Tamás Herendi, Tünde Kovács, Zoltán Matolcsy, Attila Pethő, Péter Varga
University of Debrecen
{273-281} Cooperative Research in Water Management
Margit Horosz-Gulyás, Katalin Katonáné Gombás
University of West Hungary, Faculty of Geoinformatics
{283-293} PECES – PErvasive Computing in Embedded Systems
Zoltán Rak, Vilmos Bilicki
Frontendart Ltd., Szeged, Hungary

Cryptography and other fields of Applied Informatics

{295-302} Applying Spi-calculus for PayWord
László Aszalós a, Andrea Huszti b
a University of Debrecen
b Hungarian Academy of Sciences and University of Debrecen
{303-310} Cryptographic Measurements on Java-Enabled Mobile Phones
Norbert Bátfai a, Péter Molnár b, Bálint Rábai c, István Tari d
a University of Debrecen, Department of Information Technology
b University and National Library University of Debrecen
c University of Debrecen, Faculty of Informatics
d University of Debrecen, Faculty of Informatics
{311-317} An Attack on Dömösi's Cryptosystem
Zita Kovács, Andor Pénzes
University of Debrecen, Faculty of Informatics
{319-328} Introduction of Decimal Fractions to Special Need Children
Brigitta Réthey-Prikkel a, Tímea Magyar b
a Dept. of Media & Educational Technology, ELTE University, Hungary
b Dept. of Business Mathematics & Informatics, Károly Róbert College, Hungary
{329-336} Computer Modeling of Binary Dipolar Monolayers
Imre Varga a, Ferenc Kun b
a University of Debrecen, Department of Informatics Systems and Networks
b University of Debrecen, Department of Theoretical Physics

Data Base Systems

{337-344} Developing an Advanced Document Based Map Server
Roberto Giachetta a, István Elek b
a Department of Software Technology and Methodology Eötvös Loránd University
b Department of Cartography and Geoinformatics Eötvös Loránd University
{345-352} Data Protection on Progress Databases and Progress 4GL Environment
Attila Hadházi
{353-359} SQL Code Complexity Analysis
Melinda Simon, Norbert Pataki
Dept. of Programming Languages and Compilers, Fac. of Informatics, Eötvös Loránd University, Budapest
{361-370} Comparison of the Efficiency of Combination of Database Servers, Application Servers and Operating Systems with the TPC-W Benchmark
Nóra Sterbinszky, Gábor Fazekas
University of Debrecen, Faculty of Informatics, Department of Information Technology

Distributed and Parallel Computing

{371-377} UDPTUN – Direct TCP Connection Between 'NAT behind' Hosts
Béla Almási
Faculty of Informatics, University of Debrecen, Hungary
{379-386} Quick Testing of Random Sequences
Antal Iványi, Imre Kátai
Dept. of Computer Algebra of Eötvös Loránd University

Education and other fields of Applied Informatics

{387-395} Intuiting Mathematics from Computer Visualizations
Szilárd András
Babes-Bolyai University, Cluj Napoca, Romania
{397-403} Digital Divide in Debrecen and Perspectives
Mária Bakó
University of Debrecen
{405-412} Open Source Mobile Games for Education
Norbert Bátfai
University of Debrecen, Department of Information Technology
{413-420} Survey of Dynamic Voltage Scaling Methods for Energy Efficient Embedded Systems
Áron Csendes
University of Szeged, Institute of Informatics, Szeged, Hungary
{421-431} Teaching of Database Programming for Mechanical Engineering Students
Marta Czenky
Szent Istvan University, Faculty of Mechanical Engineering, Department of Informatics
{433-445} Implementation Challenges of e-Governance in Nepal and Possible Steps towards Solutions
Deepak Bahadur Dhami, Iván Futó
Corvinus University of Budapest
{447-454} Computer Aided Geometric Design of Gear Surfaces
László Dudás
Department of Information Technology, University of Miskolc
{455-460} Computer-Aided Quantitative Observation of a Crystallization Process
Gábor Geda, Csaba Biró
Institute of Mathematics and Informatics, Eszterházy Károly College, Eger

Volume II.

Education and other fields of Applied Informatics

{9-15} Teaching Database Systems at the Faculty of Informatics at the University of Debrecen
István Juhász, Márk Kósa, Anikó Vágner
University of Debrecen Faculty of Informatics
{17-27} A Comparison of Informatics Skills by Genders of Hungarian Grammar School Students
Gábor Kiss
Óbuda University Department of Mechatronics and Cartechnics Engineering Budapest, Hungary
{29-34} Object-oriented Approach of Search Algorithms for Two-Player Games
Márk Kósa, János Pánovics
University of Debrecen Faculty of Informatics
{35-44} First Achievements of the Adaptation of the ILIAS Learning Management System at the University of Debrecen, Faculty of Health
Zsolt Kristóf, Károly Bodnár, Péter Takács
DE EK
{45-52} Discrete Approximation of ECG Signals
Levente Lócsi
Eötvös Loránd University, Faculty of Informatics
{53-61} Application of Mind Mapping Technique to Study the Fruits and Vegetables Processing Industry and Supply Chain
Muhammad Mushtaq Ahmad, Péter Fehér
Department of Information Systems, Corvinus University, Budapest, Hungary
{63-71} An Enhanced Data Mining Technique for Efficient Query Processing in Wireless Sensor Networks
Muhidul Islam Khan
Corvinus University of Budapest, Hungary
{73-81} Pumping Lemmas for Special Linear Languages
Benedek Nagy
Faculty of Informatics, University of Debrecen, Debrecen, Hungary
{83-91} Factorial Analysis of Customer Relationship Management In Bangladesh
Nazmul Hasan Chowdhury, András Gábor
Department of Marketing, University of Dhaka
{93-102} Quality of Service (QoS) Aware Adaptive Radio Resource Management Algorithm for MIMO-OFDMA System
Pradip Paudyal, Mraz Albert, László Pap
Dept. of Information System, Corvinus University of Budapest and Dept. of Telecommunication, Budapest University of Technology and Economics, Budapest, Hungary
{103-107} MMS in ERP
Prakan Puvibunsuk
Chantarakasem University
{109-117} DesynchLRU: An Efficient Page Replacement Algorithm with Desynchronized Cache and RAM
Md. Raqibul Hasan, M. Sohel Rahman, Chowdhury Sayeed Hyder
Department of Computer Science and Engineering Bangladesh University of Engineering and Technology Dhaka-1000, Bangladesh
{119-127} GIS in the Agricultural Economy and the Business Applications
Gergely Ráthonyi, László Várallyai, Miklós Herdon
University of Debrecen, Centre for Agricultural Sciences and Engineering, Faculty of Applied Economics and Rural Development
{129-137} Clustering of ECG Signals
Anikó Vágner, István Juhász, Ádám Balázs, József Kuk
University of Debrecen, Faculty of Informatics
{139-148} Teaching Computing Across the Disciplines “The different shades of grey”
Malgorzata S. Zuberek
Department of Computer Science, Memorial University, Canada

Functional Programming

{149-156} Feldspar – A Functional Embedded Language for Digital Signal Processing
Gergely Dévai, Zoltán Gera, Zoltán Horváth, Gábor Páli, Máté Tejfel
Eötvös Loránd University, Faculty of Informatics
{157-164} Untangling Type Inference and Scope Analysis
Attila Góbi, Tamás Kozsik, Mónika Mészáros, Artyom Antyipin, Dorián Batha, Tamás Kiss
Dept. Programming Languages and Compilers Eötvös Loránd University, Budapest, Hungary
{165-172} Erlang Semantic Query Language
Lilla Hajós, Melinda Tóth, László Lövei
Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary
{173-180} Implementing Structural Complexity Metrics in Erlang
Roland Király, Róbert Kitlei, Péter Tömösközi
Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary

Operational Research

{181-190} A Flexible System for Optimizing Public Transportation
Viktor Árgilán, János Balogh, József Békési, Balázs Dávid, Miklós Krész, Attila Tóth
Institute of Applied Sciences, Gyula Juhász Faculty of Education, University of Szeged
{191-197} On a Multidimensional Semi-on-line Bin Packing Problem
János Balogh a, József Békési a, Gábor Galambos a, Gerhard Reinelt b
a Department of Informatics' Applications, Gyula Juhász Faculty of Education, University of Szeged
b Institute of Computer Science, University of Heidelberg
{199-207} Optimization of Biomass Production on Company Level
Éva Bedéné Szőke a, Zsuzsanna Mohamed a, Edit Pallás b, Szabolcs Takács c
a Szent István University Gödöllő
b Károly Róbert College Gyöngyös
c Branch Office of Agricultural- and Rural Development Office in Szabolcs-Szatmár-Bereg County
{209-216} PageRank Based Network Algorithms for Weighted Graphs with Applications to Wine Tasting and Scientometrics
Tibor Csendes, Elvira Antal
Institute of Informatics, University of Szeged, Hungary
{217-225} Modeling Dynamic Programming Problems: Petri Nets Versus d-graphs
Zoltán Kátai, Péter István Fülöp
Sapientia University, Tirgu Mures/Corunca, Romania
{227-235} An Experimental Study of Minimum Cost Flow Algorithms
Zoltán Király a, Péter Kovács b
a Department of Computer Science and CNL Eötvös Loránd University, Budapest
b Department of Algorithms and Their Applications and CNL Eötvös Loránd University, Budapest
{237-245} Timestamp-resolution Problem of Traffic Analysis on High Speed Networks
Péter Orosz, Tamás Skopko
Faculty of Informatics, University of Debrecen, Debrecen, Hungary
{247-254} Efficient Estimation of Loads in Service Networks
László Pál a, Tibor Csendes b
a Faculty of Business and Humanities, Sapientia, Hungarian University of Transylvania, Miercurea-Ciuc, Romania
b Institute of Informatics, University of Szeged, Hungary
{255-262} Circle Covering and its Applications for Telecommunication Networks
Endre Palatinus, Balázs Bánhelyi
University of Szeged Institute of Informatics
{263-274} Game Theoretic Approach of Product Distribution by Vehicles
A. Werner-Stark, T. Dulai
Department of Electrical Engineering and Information Systems Faculty of Information Technology, University of Pannonia, Veszprém
{275-285} Finite-source Retrial Queues with Applications
Patrick Wüchner a, János Sztrik b, Hermann de Meer a
a Faculty of Informatics and Mathematics, University of Passau, Germany
b Faculty of Informatics, University of Debrecen, Hungary

Software Design and Object Oriented Programming

{287-293} Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
Attila Adamkó, Csaba Bornemissza
Department of Information Technology Faculty of Informatics University of Debrecen
{295-303} Interoperability of Model-driven Web Engineering approaches
Attila Adamkó, Lajos Kollár
Department of Information Technology Faculty of Informatics, University of Debrecen
{305-312} Modeling Business Processes in Web Applications
Attila Adamkó, Lajos Kollár
Department of Information Technology, University of Debrecen
{313-321} ODF Mobile Edition – Towards the Development of a Mobile Office Software
Imre Barna a, Péter Bauer a, Kinga Bernád a, Zsolt Hernáth b, Zoltán Horváth a, Balázs Kőszegi a, Gergely Kovács a, Tamás Kozsik a, Zsolt Lengyel c, Róbert Roth a, Sándor Sike c, Gábor Takács a
a Dept. of Programming Languages and Compilers
b Dept. of Information Systems
c Dept. of Software Technology and Methodology Faculty of Informatics, Eötvös Loránd University
{323-329} An Overview on Software Ergonomy
Balázs Hadházi-Borsos
University of Debrecen
{331-338} Web Ontology for Software Package Management
Péter Jeszenszky
Debreceni Egyetem, Informatikai Kar
{339-342} The Evergreen SSADM
Attila Kuki
University of Debrecen
{343-350} How #includes Affect Build Time in Large Systems
József Mihalicza
Department of Programming Languages and Compilers, Eötvös Loránd University
{351-357} Intelligent Web System and its Life Essence: the AJAX
Zsolt Nagy
Institute of Mathematics and Informatics, College of Nyíregyháza
{359-365} Providing Software Reengineering Technical Expertise Based on Similarity Metric
Mária Molnárné Nagy a, Norbert Bátfai b
a University of Debrecen; Debreceni Informatikai Kutató-Fejlesztő Központ Non-profit KFT.
b University of Debrecen, Department of Information Technology
{367-374} C++ Standard Template Library by Ranges
Norbert Pataki
Dept. of Programming Languages and Compilers, Fac. of Informatics, Eötvös Loránd University, Budapest
{375-381} Virtuoso Virtuality
Marianna Sipos
Department of Information Technology, Zrínyi Miklós University of Defence
{383-390} Syntax Check of Embedded SQL in C++ with Proto
Zalán Szűgyi, Zoltán Porkoláb
Department of Programming Languages and Compilers, Eötvös Loránd University Pázmány Péter sétány 1/C H-1117 Budapest, Hungary

Testing and Verification

{391-399} On the Verification Problems of the Component-Based Software Development
Zsolt Borsi a, László Kozma a, Anna Medve b
a Department of Software Technology, Eötvös Loránd University
b Department of Electrical Engineering and Information Systems, University of Pannonia
{401-408} Detaching and Reconstructing the Documentary Structure of Source Code
Attila Góbi, Andrea Kovács, Dániel Leskó, Mónika Mészáros
Dept. Programming Languages and Compilers Eötvös Loránd University, Budapest, Hungary
{409-416} A Small Survey of Java Specification Languages
Gábor Kusper a, Gergely Kovásznai a, Wolfgang Schreiner b, Gábor Guta b, János Sztrik a
a Eszterházy Károly College, Mathematics and Informatics Institute
b Johannes Kepler University Linz, RISC Institute
{417-427} Let's Go the Verification Engineering
Anna Medve a, György Orbán a, László Kozma b
a Department of Electrical Engineering and Information Systems, University of Pannonia
b Department of Software Technology, Eötvös Lóránd University
{429-436} Measuring Software Complexity by Types
Gábor Páli, Tamás Kozsik
Department of Programming Languages and Compilers, Eötvös Loránd University

Abstracts

{439-439} A Generic Lesion Detector for Retinal Images
Bálint Antal, András Hajdu
Faculty of Informatics University of Debrecen POB 12, Debrecen, H-4010, Hungary
{441-442} Programming Model Suitable for Economic Underlying of Specialization of Agricultural Entrepreneurs to Biomass Production
Éva Bedéné Szőke, Zsuzsanna Mohamed, Edit Pallás, Szabolcs Takács
Szent István University Gödöllő
{443-443} To Balance or to Rebuild? – An Experimental Study of Randomly Built Binary Search Trees
István Fekete a, Roberto Giachetta b, Péter Kovács a
a Department of Algorithms and Their Applications Eötvös Loránd University
b Department ot Software Technology and Methodology Eötvös Loránd University
{445-448} Methodology for Assessment Validation of Platform Migration of Roboust Critical IT-systems
Ábel Garai
University of Debrecen
{449-450} Detecting the Excessive Activation of the Ciliaris Muscle on Thermal Images
Balázs Harangi, Tibor Csordás, András Hajdu
Faculty of Informatics University of Debrecen POB 12, Debrecen, H-4010, Hungary
{451-451} Features of C++ Template Metaprograms
Norbert Pataki, József Mihalicza, Zalán Szűgyi, Viktor Májer, Zoltán Porkoláb
Dept. of Programming Languages and Compilers, Fac. of Informatics, Eötvös Loránd University, Budapest
{453-453} The Role of Sonification in the Development of the Concept of Function for Blind Pupils
Szilvia Szakácsné Nagy
Szent István University Faculty of Economics
{455-456} The Validation of Information Resulted by Process Mining in Case of a Garage Gate Control
A. Werner-Stark, A. Valics, T. Dulai
Department of Electrical Engineering and Information Systems Faculty of Information Technology, University of Pannonia, Veszprém