ICAI logoICAI proceedings (2007)

7th ICAI (2007)

Content

Volume I.

Plenary session

{7-13} Co-operative research centre for information technology in Debrecen (ITCRC)
Gábor Fazekas, Katalin Bognár, István Juhász
Co-operative Research Centre for Information Technology University of Debrecen
{15-23} Requirement analyses and a database model for the project EGERFOOD Food Safety Knowledge Center
Tibor Radványi, Gábor Kusper
Institute of Mathematics and Informatics Eszterházy Károly College
{25-33} New ideas for browsing our digital collections
Francis Rousseaux
CRéSTIC/URCA
{35-43} Internet traffic v. technology change in 10 years
György Terdik
UD, Dep. of IT
{45-53} On fractions y/x equal to their g-decimal representation x+g−k⁢y
Gunter Weiss
Dresden University of Technology, Institute of Geometry

Computer algebra

{55-63} DESignIn asymmetric authentication system
János Folláth, Andrea Huszti, Attila Pethő
Faculty of Informatics, University of Debrecen
{65-74} Redundancy for rigid clausal tableaux
Gergely Kovásznai
Faculty of Informatics, University of Debrecen, Hungary
{75-81} Efficient skolemization
Zoltán Lengyel
University of Debrecen, Institute of Informatics
{83-90} Interval-valued computations without the product operator
Benedek Nagy a, Sándor Vályi b
a Faculty of Informatics, University of Debrecen
b Faculty of Health College, University of Debrecen, Nyíregyháza
{91-98} Finite automata in the mathematical theory of programming
Valerie Novitzká, Daniel Mihályi, Viliam Slodičák
Technical University of Košice

Computer graphics

{99-106} A visibility algorithm for the projection PSd → PS2
János Katona a, Emil Molnár b
a Department of Descriptive Geometry and Computer Science, Ybl Miklós Faculty, Szent István University
b Department of Geometry, Budapest University of Technology and Economics
{107-113} Applying animation in the teaching of mathematics for students of engineering
Imre Kocsis
Faculty of Engineering University of Debrecen
{115-120} Some aspects of clothoids
Andreas Kommer, Thomas Weidner
HfT Stuttgart and TU Dresden (Germany)
{121-128} On speeding up fractal image compression
Tamás Kovács
Department of Informatics, Kecskemét College – Faculty of Technology, Kecskemét, Hungary
{129-138} Graph clustering and visualizing methods on genomic data
Miklós Krész, Attila Tóth
Department of Computer Science University of Szeged, Juhász Gyula Faculty of Education
{139-146} Simple digital objects on ℤ2
Benedek Nagy a, Ágota Orosz b
a University of Debrecen Department of Computer Science
b Corvinus University of Budapest Department of Mathematics
{147-154} Extension of GCC with a fully manageable reverse engineering front end
Csaba Nagy
Department of Software Engineering, University of Szeged
{155-162} An image analyser program written in MATLAB to detect and analyse calcium sparks
László Zsolt Szabó a,b, Beatrix Dienes b, László Csernoch b
a Department of Electrical Engineering, Sapientia Hungarian University of Transylvania
b Department of Physiology, University of Debrecen, Debrecen, Hungary
{163-173} Visualization of the geodesic ball packings in the Nil geometry
Jenő Szirmai
Budapest University of Technology and Economics Institute of Mathematics Department of Geometry
{175-184} An empirical method for determining the number of iterations needed in the pre-processing of X-ray images of welds using PCNN algorithms
Coulibaly Sékou Tidiani
College of Kecskemét, GAMF Faculty, Institute of Informatics
{185-192} Two- and three-dimensional tiling on the base of higher-dimensional cube mosaics
László Vörös
University of Pécs, M. Pollack Technical Faculty, Institute of Architecture

Computer statistics

{193-201} Modeling P2P protocols by cellular automata
Gábor Balázsfalvi, János Sztrik
University of Debrecen, Hungary
{203-210} A queueing network model to study Proxy Cache Servers
Tamás Bérczes, János Sztrik
Faculty of Informatics, University of Debrecen Debrecen, Hungary
{211-221} Central limit theorems for kernel type density estimators
István Fazekas
Faculty of Informatics, University of Debrecen
{223-228} Note on strong consistency of maximum likelihood estimators for dependent observations
Erika Fülöp, Gyula Pap
Department of Applied Mathematics and Probability Theory Faculty of Informatics, University of Debrecen, Hungary
{229-246} Approximation of solutions of SDE driven by multifractional Brownian motion
Hannelore Lisei, Anna Soós
Babes-Bolyai University Faculty of Mathematics and Computer Science
{247-254} RBF-MRAC neurocontroller for industrial applications
István Pintér, Iván Lajtai
College of Kecskemét GAMF Faculty Automation and Applied Informatics Group

Cooperative research and innovation

{255-260} E-Learning development project at Debrecen University ICT-CRC
Tibor Balla, Bertalan Kis, Ákos Kovács, László Nagy
ICT-CRC
{261-267} Data mining based on medical diagnosis
József Demeter, Barnabás Szász
University of Debrecen
{269-276} Collaborative working tools and applications in agriculture
Miklós Herdon, László Várallyai
University of Debrecen, Faculty of Agricultural Economics and Rural Development
{277-284} Using a computer to teach hand-drawing
Erika Perge
Faculty of Technical Engineering University of Debrecen
{285-293} eLearning solutions for teaching software tools used in health care and business administration
Norbert Tasi
Doctoral School of Mathematics and Computer Science University of Debrecen,

Data base systems

{295-301} Performance evaluation of large-scale data processing systems
Attila Adamkó, Mátyás Arató, Gábor Fazekas, István Juhász
Department of Information Technology, University of Debrecen
{303-309} RDCONT – A system for diabetes blood glucose data management
Béla Almási, Ágnes Márton
Faculty of Informatics, University of Debrecen, Hungary
{311-324} Techniques for pagination in SQL
András Gábor
Department of Information Technology, Faculty of Informatics University of Debrecen
{325-334} Container model
Zsolt Hernáth
Dept. of Information Systems, Fac. of Informatics, Eötvös Loránd University, Budapest
{335-342} Object-relational EH databases
Lajos Kollár a, Henrietta Sipos b, Krisztián Veréb a
a Department of Information Technology Faculty of Informatics University of Debrecen
b Health College Faculty University of Debrecen
{343-351} Enhancing content-based image retrieval
Lajos Kollár, Krisztián Veréb
Department of Information Technology Faculty of Informatics University of Debrecen
{353-359} Developing an MLR security layer for relational databases
László Kovács a,b, Zoltán Irházi b
a ME University of Miskolc, Department of Information Technology
b KEFO College Kecskemét, Institute of Information Technology
{361-374} Concurrent implementation of caches
Antal Tátrai, Balázs Dezső, István Fekete
Eötvös Loránd University, Faculty of Informatics

Volume II.

Education

{7-14} Teaching linear algebra with MatLab
Sándor Buglyó
Faculty of Engineering University of Debrecen
{15-20} Ontology in e-learning: a tool to increase efficiency
Gyöngyi Bujdosó
Department of Computer Graphics and Library and Information Science Faculty of Computer Science, University of Debrecen
{21-28} Complex e-learning system on word processing
Gyöngyi Bujdosó
Department of Computer Graphics and Library and Information Science Faculty of Computer Science, University of Debrecen
{29-36} The use of programmable robots in the education of programming
Zoltán Istenes a, Attila Pásztor b
a Department of Software Technology and Methodology, Faculty of Informatics University of Eötvös Loránd
b Department of Information Technology Faculty of GAMF College of Kecskemét
{37-43} "Who wants to be eminent?" Assessment method and software
Zoltán Kátai, Szabolcs Máthé
Sapientia – Hungarian University of Transylvania
{45-54} Computer science education in Germany
Gábor Kiss
Department of Machine and System Engineering, Budapest, Hungary
{55-62} Teaching Java programming based on the pool of open source case studies
Ladislav Samuelis, Csaba Szabó, Zdeněk Havlice
Department of Computers and Informatics Technical University of Košice
{63-70} Reform of the software engineering teaching – demands and conception
György Ferenc Tóth, Zsolt Csaba Johanyák
Kecskemét College, GAMF Faculty, Institute of Information Technologies
{71-79} Nodes e-learning network development
László Várallyai, Miklós Herdon
University of Debrecen, Faculty of Agricultural Economics and Rural Development Department of Business and Agricultural Informatics
{81-91} Multidisciplinarity – the grand challenge and the future of academia ("In nature things overlap")
Malgorzata S. Zuberek
Department of Computer Science, Memorial University, Canada

Operational research

{93-100} Banded approximation with diffusion-neural-network
Zoltán Makó, Júlia Salamon
Department of Mathematics and Informatics Sapientia University, Romania
{101-108} Improvements on the GLOBAL optimization algorithm with numerical tests
László Pála, Tibor Csendesb
a Faculty of Business and Humanities, Sapientia University, Miercurea-Ciuc, Romania
b Institute of Informatics, University of Szeged, Hungary
{109-116} Sensitivity analysis of the energy functional defined on Sobolev space
Júlia Salamon
Department of Mathematics and Informatics, Sapientia University

Reasoning and functional programming

{117-125} Separation logic style reasoning in a refinement based language
Gergely Dévai, Zoltán Csörnyei
Eötvös Loránd University, Department of Programming Languages and Compilers
{127-135} Better test results for the graph coloring and the Pigeonhole Problems using DPLL with k-literal representation
Gábor Kusper, Lajos Csőke
Eszterházy Károly College
{137-145} Static rules of variable scoping in Erlang
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Róbert Kitlei
Department of Programming Languages and Compilers Eötvös Loránd University, Budapest, Hungary
{147-153} The extension of CNS-logic for multi-channel protocols
Péter Takács
University of Debrecen, Faculty of Health College
{155-162} Proving composed specifications of clean programs in Sparkle-T
Máté Tejfel
Department of Programming Languages and Compilers, Eötvös Loránd University

Software design and object-oriented programming

{163-172} Rapid Web application development and modeling, based on XML and UML technologies
Attila Adamkó
Department of Information Technology, University of Debrecen
{173-179} Combining the benefits of MVC design pattern and UML based modeling for different software platforms
Attila Adamkó, Csaba Bornemissza
Department of Information Technology, University of Debrecen
{181-188} Parallel processing search engine for very large XML data sets
Vu Le Anh, Attila Kiss, Zoltan Vinceller
Department of Information Systems, ELTE university, Hungary
{189-197} A general method of low-level exception reporting and handling using System Predicate Classes
Ádám Balogh a, Zoltán Csörnyei b
a Department of Algorithms and their Applications Eötvös Loránd University, Budapest, Hungary
b Department of Programming Languages and Compilers Eötvös Loránd University, Budapest, Hungary
{199-206} WAP applications of libraries
Iszály György Barna
College of Nyíregyháza, Institute of Mathematics and Informatics
{207-218} Inter-procedural static slicing using advanced caching algorithm
Mihály Biczó, Krisztián Pócza, Zoltán Porkoláb
Dept. of Programming Languages and Compilers Fac. of Informatics, Eötvös Loránd University
{219-228} On the granularity of components
Ákos Dávid a, László Kozma b, Tamás Pozsgai a
a Department of Mathematics and Computing, University of Pannonia
b Department of Software Technology and Methodology, Eötvös Loránd University of Sciences
{229-235} Some algorithms concerning uniquely decipherable codes
János Falucskai
Department of Mathematic and Informatics, College of Nyíregyháza
{237-245} Browsing the Semantic Web
Peter Jeszenszky
Faculty of Informatics, University of Debrecen
{247-255} Implementation of a finite state machine with active libraries in C++
Zoltán Juhász, Ádám Sipos
Department of Programming Languages and Compilers Faculty of Informatics, Eötvös Loránd University
{257-264} Comparative analysis of refactoring and code optimization
Róbert Kitlei, Gergely Dévai, Ádám Balogh, Zoltán Csörnyei
Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University, Budapest
{265-270} Properties of C++ template metaprograms
Norbert Pataki, Tamás Kozsik, Zoltán Porkoláb
Dept. of Programming Languages and Compilers Fac. of Informatics, Eötvös Loránd University, Budapest
{271-276} Why code complexity metrics fail on the C++ standard template library
Norbert Pataki a, Zoltán Porkoláb a, Edit Csizmás b
a Dept. of Programming Languages and Compilers Fac. of Informatics, Eötvös Loránd University, Budapest
b Dept. of Informatics, Fac. of Mechanical Engineering and Automation Kecskemét College, Kecskemét
{277-284} Runtime access control in C#
Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb
Dept. of Programming Languages and Compilers Fac. of Informatics, Eötvös Loránd University
{285-292} Supporting parametric polymorphism in CORBA IDL
Zoltán Porkoláb a, Roland Király a, Ilir Kurti b
a Department of Programming Languages and Compilers, Eötvös Loránd University, Budapest, Hungary
b Universiteti Aleksander Moisiu, Durrës, Albania
{293-299} Application of OO metrics to estimate .NET project software size
Zoltán Porkoláb a, Norbert Pataki a, Ádám Sipos a, Viktória Zsók a, Marjan Heričko b, Aleš Živkovič b
a Department of Programming Languages and Compilers Faculty of Informatics, Eötvös Loránd University, Budapest
b Faculty of Electrical Engineering and Computer Science University of Maribor
{301-308} On the correctness of template metaprograms
Ádám Sipos, István Zólyomi, Zoltán Porkoláb
Dept. of Programming Languages and Compilers, Fac. of Informatics, Eötvös Loránd University, Budapest
{309-316} On the role of incrementality in test design
Csaba Szabó a, Ladislav Samuelis a, Roman Bazelides b
a Department of Computers and Informatics FEEaI Technical University in Košice
b Faculty of Electrical Engineering and Informatics Technical University in Košice
{317-325} SIP compression in mobile device environment
Zalán Szűgyi, Zoltán Porkoláb
Eötvös Loránd Tudományegyetem
{327-333} The investigation of the development of programming languages
Péter Takács, Zsolt Kristóf
University of Debrecen, Faculty of Health College

Other fields of applied informatics

{335-342} Problems of acoustic echo cancellation
Kálmán Abari, Gábor Páli
Department of Computer Science, Faculty of Informatics University of Debrecen
{343-351} Statistical aspects of network based real-time group communication and collaboration services
Zoltán Gál, Tamás Balla
Center for Information Technology Centre of Arts, Humanities and Sciences of University of Debrecen, Hungary
{353-358} Philosophical aspects of information
József Holovács, Gábor Kusper, Lajos Csőke
Eszterházy Károly College
{359-366} Identification of dynamic systems by hinging hyperplane models
Tamas Kenesei, Balazs Feil, Janos Abonyi
University of Pannonia
{367-375} Search algorithms at ACM contests
Márk Kósa, János Pánovics
University of Debrecen, Faculty of Informatics
{377-384} Generating decision tree from lattice for classification
László Kovács
ME University of Miskolc, Department of Information Technology
{385-390} Wireless security
Tamás Krausz
Department of Informatics, University of Debrecen
{391-401} An alternative approach to data fusion in remote sensing
István László a,b, Gábor Csornai b, István Fekete a
a Eötvös Loránd University, Faculty of Informatics
b Institute of Geodesy, Cartography and Remote Sensing, Remote Sensing Centre
{403-408} TCP dynamics and congestion control on asymmetric lines
Péter Orosz a, János Sztrik a, Che Soong Kim b
a Faculty of Informatics, University of Debrecen
b Department of Industrial Engineering, Sangji University
{409-416} Supporting MAS complex service modelling through agents substitutability
Gianfranco Pedone, László Zsolt Varga
System Development Department, MTA SZTAKI, Budapest
{417-422} Search engine ranking
Mária Princz
Faculty of Technical Engineering, University of Debrecen