Back to the current ICAI conference page
6^th ICAI (2004) |  7^th ICAI (2007) |  8^th ICAI (2010)

8^th 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