ICAI logoICAI proceedings (2004)

6th ICAI (2004)

Content

Volume I.

Plenary session

{9-16} The mobiDIÁK Self-Organizing Mobile Portal
Péter Antal, Norbert Bátfai, Péter Jeszenszky
Department of Applied Mathematics and Probability, Institute of Informatics, University of Debrecen
{17-26} Intelligent urban traffic development support system – the simulation software and the database
Attila Fazekas, Lajos Kollár, Zoltán Zörgő, András Hajdu, János Kormos, Krisztián Veréb
Institute of Informatics, University of Debrecen
{27-39} On Spatial Involute Gearing
Hellmuth Stachel
Institute of Discrete Mathematics and Geometry, Vienna University of Technology
{41-55} "Synthetic Mathematics" Maths & Geometry: A Symbiosis with Misunderstandings
Gunter Weiss
Institut für Geometrie, TU Dresden
{57-64} Trends in Computer Science Curricula at the beginning of the 21th Century
Malgorzata S. Zuberek
Department of Computer Science, Memorial University, Canada

Session A

{65-73} Statistical Methods for Speaker Identification
Margit Antal
Sapientia - Hungarian University of Transylvania
{75-83} Estimating the risk of a Down's syndrome term pregnancy using age and serum markers
Sándor Baran a, Lajos Veress b
a Institute of Informatics, University of Debrecen
b Department of Obstretics and Gynecology, Medical and Health Science Center University of Debrecen
{85-95} Access Control Models for Collaborative Applications
Gyöngyi Bujdosó
Department of Computer Graphics and Library and Information Science Faculty of Informatics University of Debrecen
{97-107} The Asymptotic Covariance of Kernel Type Density Estimators for Random Fields
István Fazekas a, Alexey Chuprunov b
a Institute of Informatics, University of Debrecen
b Research Institute of Mathematics and Mechanics, Kazan State University
{109-117} Some Applications of a One-Way Function Based on Norm Form Equation
Zoltán Csajbók, József Ködmön
Faculty of Health College, University of Debrecen
{119-128} Type Systems and Program Verification
Zoltán Csörnyei
Department of Programming Languages and Compilers, Eötvös Loránd University, Hungary
{129-135} Refactoring via Database Representation
Péter Diviánszky a, Rozália Szabó-Nacsa b, Zoltán Horváth a
a Department of Programming Languages and Compilers, Eötvös Loránd University, Hungary
b Department of Software Technology and Methodology, Eötvös Loránd University, Hungary
{137-146} Aspect-Oriented Programming On Lisp
Miklós Espák
Department of Information Technology, University of Debrecen
{147-153} Objects management in Real-time in Java systems
Imre Fazekas
Department of Information Technologies, University of Debrecen
{155-162} Statistical methods used in search engine evaluations
Erzsébet Tóth a, Gábor Fazekas b
a College of Nyíregyháza Institute of Mathematics and Informatics
b University of Debrecen, Institute of Informatics
{163-172} An Evaluating Tool for Programming Contests
Márk Kósa, János Pánovics, Lénárd Gunda
Institute of Informatics, University of Debrecen
{173-180} Describing Semantics of Data Types in XML
Szabolcs Hajdara, Balázs Ugron
Department of Software Technology and Methodology, Eötvös Loránd University
{181-189} Distributed Computing Based on Clean Dynamics
Hajnalka Hegedűs, Zoltán Horváth
Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest
{191-200} Clean-CORBA Interface Supporting Pipeline Skeleton
Zoltán Hernyák a, Zoltán Horváth b, Viktória Zsók b
a Department of Information Technology Eszterházy Károly College
b Department of Programming Languages and Compilers Eötvös Loránd University, Budapest
{201-209} Verifying invariants of abstract functional objects–a case study
Zoltán Horváth, Tamás Kozsik, Máté Tejfel
Department of Programming Languages and Compilers Eötvös Loránd University, Budapest
{211-219} Application of the MCMC algorithm in Web mining
Márton Ispány
Department of Applied Mathematics and Probability, University of Debrecen
{221-228} Possible Uses of the Disjunction Operator M
Karl Javorszky
Institute of Applied Statistics, Vienna
{229-234} Unique Identification of States of Sets
Karl Javorszky
Institute of Applied Statistics, Vienna
{235-242} Construction of decision trees using the MCMC algorithm
Ilona Krasznahorkay
Department of Applied Mathematics and Probability Theory, Institute of Informatics, University of Debrecen
{243-250} Reconstruction from subwords
Péter Ligeti a, Péter Sziklai b
a Department of Computer Science, Eötvös Loránd University
b Department of Computer Science, Eötvös Loránd University
{251-260} Standardized interchange of application design models
Ágnes Papp
University of Debrecen
{261-266} Application of Data Mining Methods in Health Care Databases
Ágnes Vathy-Fogarassy
Department of Mathematics and Computer Science, University of Veszprém, Hungary

Session B

{267-274} How can we improve the spatial intelligence?
László Aszalós a, Mária Bakó b
a Institute of Informatics, University of Debrecen
b Fazekas Mihály Secondary School, Debrecen
{275-282} Fundamental D-V cells for E4 space groups on the 2D-screen
László Ács
Department of Mathematics, Széchenyi István University, 9026 Gyor, Hungary
{283-291} Visualisations of Gussian and Mean Curvatures by Using Mathematica and webMathematica
Vladimir Benič, Sonja Gorjanc
Faculty of Civil Engineering, Kačičeva 26, 10000 Zagreb, Croatia
{293-301} Planar union of rectangles with sides parallel to the coordinate axis
Daniel Schmid, Hanspeter Bopp
Department of Geomatics, Computer Science and Mathematics Stuttgart University of Applied Sciences
{303-309} DFA of Non Unique Decodable Code
János Falucskai
Department of Mathematics and Informatics, College of Nyíregyháza
{311-318} Teaching technologies at the Institute of Informatics of the University of Debrecen
István Juhász, Imre Fazekas
Department of Information Technologies, University of Debrecen
{319-328} Calculating Metrics from Large C++ Programs
István Siket, Rudolf Ferenc
Department of Software Engineering, University of Szeged, Hungary
{329-338} B-Spline Kurven in der Anwendung – Zwei Beispiele
Andrea Frei a, Susanne Harms b, Regina Schikora c
a IMSGear GmbH, Donaueschingen, Germany
b Department of Surveying, Computer Science and Mathematics, Stuttgart University of Applied Sciences, Germany
c T-Systems ITS GmbH, Leinfelden-Echterdingen, Germany
{339-346} Teaching database systems at the Institute of Informatics of the University of Debrecen
István Juhász a, András Gábor b
a University of Debrecen, Institute of Informatics, Department of Information Technology
b University of Debrecen, Institute of Informatics, Department of Information Technology
{347-356} Development trends in refactoring and measurement tools
István Juhász a, Gábor Guta b
a University of Debrecen, Institute of Informatics, Department of Information Technology
b University of Debrecen, Institute of Informatics, Department of Information Technology
{357-366} Free-form curve design by knot alteration
Imre Juhász a, Miklós Hoffmann b
a Department of Descriptive Geometry, University of Miskolc
b Institute of Mathematics and Computer Science, Károly Eszterházy College, Eger
{367-371} The Development of Dynamic Web Pages – Practice and Methodology
Roland Király
EKF – Institute of Mathematics and Informatics – Department of Information Technology
{373-379} Expandable multimedia software for children suffering from dyslexia
Rita Mátrai a, Zsolt Tibor Kosztyán b, Cecília Lányi a
a Department of Image Processing and Neurocomputing, University of Veszprém
b Department of Management, University of Veszprém
{381-389} Construction ruled surfaces from scattered data by Kohonen network
Emőd Kovács
Department of Information Technology, Eszterházy Károly College
{391-400} Virtual Reality and it's Assets in the Rehabilitation
Cecília Sik Lányi a, Barnabás Takács b, Lajos Simon c, Viktória Simon c, Viktória Laky a, Ádám Tilinger a
a Colour and Multimedia Laboratory, University of Veszprém
b Digital Elite, Los Angeles
c Semmelweis Medical University in Budapest
{401-407} Virtual Portraits of János Bolyai
Róbert Oláh-Gál a, Szilárd Máté b
a Department of Mathematics and Informatics, Sapientia University of Miercurea Ciuc
b Department of Mathematics and Informatics, Sapientia University of Miercurea Ciuc
{409-415} Discrete approximation
Róbert Oláh-Gál a, László Pál b
a Department of Mathematics and Informatics, Sapientia University
b Department of Mathematics and Informatics, Sapientia University
{417-423} Conformal application with computer graphics in simply connected regions
Júlia Salamon
Department of Mathematics and Informatics, Sapienta University
{425-430} Development of a virtual reality navigation test
Cecília Sik Lányi, Ádám Tilinger, Tamás Umenhoffer
University of Veszprém
{431-438} Programming Graphical Objects And Spreadsheet In Engineering Design
Algirdas Sokas
Department of Engineering Graphics, Vilnius Gediminas Technical University
{439-447} A Slicing Algorithm for Triangular Meshes
Márta Szilvási-Nagy, Ildikó Szabó
Department of Geometry, Budapest University of Technology and Economics
{449-455} MMA Technology
Robert Tornai
Department of Computer Graphics, University of Debrecen
{457-463} Using cartoon colours in multimedia presentations
V. Végh, C. Sik-Lányi, J. Schanda
Colour and Multimedia Laboratory of the University of Veszprém, Hungary
{465-472} Analysis of Network Part-Topology in Autodesk Map 6
Marianna Zichar
Institute of Informatics, Department of Computer Graphics & Library and Information Studies, University of Debrecen

Abstracts

{475-475} Crouzeix-Velte spectrum for some finite elements
Ágnes Baran
Institute of Informatics, University of Debrecen, PO Box 12, 4010 Debrecen, Hungary
{476-477} The Jodie+ programming language
Tibor Csáki
Department of Computer Science, Institute of Informatics University of Debrecen
{478-478} Work-efficient prefix computation
Antal Iványi, Péter Hermann
Eötvös Loránd University, Faculty of Informatics, Dept. of Computer Algebra, 1117 Budapest, Pázmány Péter sétány 1/c.,
{479-479} Perfect sequences
Márk Horváth, Antal Iványi
Eötvös Loránd University, Faculty of Informatics, Dept. of Computer Algebra, 1117 Budapest, Pázmány Péter sétány 1/c.,
{480-480} Translation-invariant estimator in a quadratic measurement error model
Alexander Kukush
Kiev National Taras Shevchenko University
{481-481} Some Manipulation in Central Axonometry
Gábor Ledeczky, József Szabó, Róbert Tornai
Department of Computer Graphics, University of Debrecen
{482-482} Projection by Grassmann algebra of E4
Emil Molnár
Budapest University of Technology and Economics, Department of Geometry
{483-483} Confidence bounds for a parameter
Gyula Pap
Univ. Debrecen Ins. of Math. and Inf.
{484-484} Languages of Logic and Applications
Katalin Pásztor Varga a, Magda Várterész b
a Department of Programming Languages and Compilers, Eötvös Loránd University
b Institute of Informatics, University of Debrecen
{485-486} Centralaxonometric mapping in computer-graphics
Tibor Schwarcz
Univ. Debrecen Ins. of Math. and Inf.
{487-487} On proving existence of some circle packings in a square using computer algebra systems
Péter Gábor Szabó
Department of Applied Informatics, University of Szeged H-6701 Szeged P.O. Box 652, Hungary
{488-488} Parametrization and Implizitization Using Symbolic-Numeric Techniques
Ibolya Szilágyi
Hagenberg i.M., Austria

Volume II.

Session C

{9-18} Design concepts for data-intensive applications
Attila Adamkó
Department of Information Technology, Institute of Informatics, University of Debrecen
{19-26} Multiserver Retrial Queues with Finite Number of Heterogeneous Sources
János Roszik, Béla Almási, János Sztrik
Department of Informatics Systems and Networks, University of Debrecen
{27-32} Gábor Balázsfalvi
A solution for building evaluation functions in two player games
University of Debrecen, Institute of Informatics
{33-38} On some nonstandard extensions of Heyting Arithmetic
Péter Battyányi
University of Debrecen, Institute of Informatics, H-4010, Debrecen, P.O. box 12., Hungary
{39-46} The abilities and some possible extensions of the Continuous Query Language
Antal Buza
Institute of Informatics, College of Dunaujvaros
{47-56} The basic services of an object-role oriented business framework
Tibor Csiszár, Tamás Kókai
Faculty of Informatics, ELTE Budapest, Hungary INITON Ltd. Budapest, Hungary
{57-65} The advanced services of an object-role oriented business framework
Tibor Csiszár, Tamás Kókai
Faculty of Informatics, ELTE Budapest, Hungary INITON Ltd. Budapest, Hungary
{67-72} Observation of mechanical movements through virtual experiments
Gábor Geda a, József Vida b
a Department of Computer Science, Eszterházy Károly College
b Department of Physics, Eszterházy Károly College
{73-81} Database systems benchmarking
András Gábor
University of Debrecen, Institute of Informatics, Department of Information Technology
{83-93} Generalized Document Data Model for Integrating Autonomous Applications
Zsolt Hernáth, Zoltán Vincellér
{95-101} Russian-Hungarian Translation System
József Holovács
Department of Computer Science, Eszterházy Károly College
{103-109} Learning serious knowledge while "playing" with robots
Zoltán Istenes
Department of Software Technology and Methodology, Faculty of Informatics, University of Eötvös Loránd
{111-120} The Music Library of the Future
György Barna Iszály
Department of Computer Graphics and Library and Information Science, University of Debrecen
{121-127} Component collaboration in Web environment
Richárd Jónás
Department of Information Technology, Institute of Informatics, University of Debrecen H-4010 Debrecen, P.O.Box 12, Hungary
{129-138} Algorithmic Improvements in Natural Language Parsing within Dialogue Systems: Priority Patterns and Wildcards
Gergely Kovásznai
Department of Computer Science, University of Debrecen, Hungary
{139-168} Proving by Assignment Trees that SAT Solvers are Non-Polynomial in Unit Propagation Framework with 1 Selection and Cache
Gábor Kusper
Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University, Linz, Austria
{169-177} Understanding Design Patterns as Constructive Proofs
Szabolcs Márien, Gábor Kusper
Department of Computer Science, University of Debrecen
{187-196} Games with few players
Gergely Lakatos a, Benedek Nagy b
a University of Debrecen, Debrecen, Hungary
b Department of Computer Science, University of Debrecen, Hungary, Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain
{197-205} Compiling P–GRADE programs for the JGrid architecture
László Lövei
Department of Programming Languages and Compilers Eötvös Loránd University, Budapest
{207-219} The Present and Future of Teleworking
Ádám Novotny
Department of Economics, Eszterházy Károly College
{221-229} The effect of server's breakdown on the performance of finite-source retrial queueing systems
János Roszik, János Sztrik
Department of Informatics Systems and Networks, University of Debrecen
{231-237} Building a Web-based Health Promotion Database
Ádám Rutkovszky
University of Debrecen, Faculty of Economics Department of Economics
{239-247} On the Visualization of Image Databases
Krisztián Veréb
Department of Information Technology, Institute of Informatics, University of Debrecen

Session D

{249-257} Investigating Multicasting Traffic in Multistage Interconnection Networks with MOSEL
Béla Almási a, Dietmar Tutsch b
a Institute of Informatics, University of Debrecen
b Computer Science Departement, Technical University of Berlin
{259-267} Global optimization on Stiefel manifolds – some particular problem instances
János Balogh
Department of Computer Science, Juhász Gyula Teacher Training College Division, University of Szeged
{269-279} Devices of engineering communication in pneumatic in the wiev of energy saving
Zsolt Bartus, Zoltán Kummer
{281-287} New solution in the structured computer networks
Zoltán Kummer, Zsolt Bartus
{289-296} Software Tools for Network Modelling
Attila Kuki a, János Sztrik a, Günter Bolch b
a Department of Information Technology University of Debrecen
b Department of Operating Systems, University of Erlangen, Germany
{297-304} A verified computational technique to locate chaotic regions of Hénon systems
Balázs Bánhelyi, Tibor Csendes
University of Szeged, Institute of Informatics
{305-313} Application of an interval optimization method for studying feasibility of batch extractive distillation
Erika R. Fritsa, Endre Réva, Zoltán Lelkesa, Mihály Markótb, Tibor Csendesb
a Budapest Univ. Techn. Econ., Dept. Chem. Eng., and BUTE-HAS Res. Group of Technical Chemistry, 1521 Budapest
b Szeged University, Institute of Informatics, 6701, Szeged, Pf. 652,
{315-319} A polynomial interpolation
László Daragó
Faculty of Health College, University of Debrecen H-4400 Nyíregyháza, Sóstói út 2., Hungary
{321-329} Application Time Series Models on Medical Research
Mária Fazekas
Department of Economic- and Agroinformatics, University of Debrecen
{331-338} Improving Hungarian Text Categorization Using Domain-Specific Ontology
István Pilászy, András Förhécz
Department of Measurement and Information Systems, Budapest University of Technology and Economics
{339-349} Note on the proportions of financial assets with dependent distributions in optimal portfolios
József Gáll a, Gyula Pap a, Martien C.A. van Zuijlen b
a Institute of Mathematics and Informatics University of Debrecen Pf. 12, H-4010 Debrecen, Hungary
b Department of Mathematics University of Nijmegen Toernooiveld 1, 6525 ED Nijmegen, The Netherlands
{351-359} Synthesis of the synchronization of pipeline systems
Balázs Ugron, Szabolcs Hajdara
Department of Software Technology and Methodology, Eötvös Loránd University
{361-368} MythoLogic: problems and their solutions in the evolution of a project
István Székely, Róbert Kincses
Department of Information Technology, University of Debrecen
{369-377} Stochastic Simulation of Markov-Modulated Finite-Source Queues in Java Environment
Márk Kósa
Institute of Informatics, University of Debrecen
{379-387} Differentiated Services simulations using traditional scheduling algorithms
Miklós Lengyel, János Sztrik
Department of Informatics Systems and Networks, University of Debrecen
{389-402} Mobile agents for the database management using Jini
Fabrice Mourlin, Jaouad Skaita
LACL University Paris 12, France
{403-417} Towards Knowledge Management using Galois Lattices
László Szathmáry a,b, Amedeo Napoli a
a LORIA/Inria-Lorraine, 615 rue du Jardin Botanique, BP 101 F-54600, Vandoeuvre-lès-Nancy, France
b University of Debrecen, Institute of Mathematics and Informatics Debrecen H-4010, P.O. Box 12, Hungary
{419-424} Knowledge based public administration systems
Sándor Pajna
IT Center of the Municipality of Hajdú – Bihar County
{425-433} Algorithm for segmenting speech sample sequences using the Jensen-Shannon divergence
István Pintér
Department of Automation and Applied Informatics, Kecskemét College
{435-444} Comparison of Object-Oriented and Paradigm Independent Software Complexity Metrics
Zoltán Porkoláb, Ádám Sillye
Department of Programming Languages and Compilers, Eötvös Loránd University, Faculty of Informatics
{445-453} A generative approach for family polymorphism in C++
István Zólyomi, Zoltán Porkoláb
Department of Computer Science, Eötvös Loránd University of Sciences Pázmány Péter sétány 1/C H-1117 Budapest, Hungary
{455-463} Content Discovery of Invisible Web
Mária Princz a, Katalin E. Rutkovszky b
a University of Debrecen, Faculty of Technical Engineering Department of Industrial Management and Technical Computing
b University of Debrecen, Institute of Informatics Department of Informatics Systems and Network
{465-473} How long shall we test - a dynamic model
Gábor Stikkel, Gábor Szederkényi
{475-489} On the correctness of object classes
Péter Szlávi
Informatics Methodology Group, University Eötvös Loránd

Abstracts

{493-494} On a Coordinatewise Direct Heuristic Local Search
A.E. Csallner, J. Balogh, Á. Mágoriné Huhn, Z. Kovács
Dept. of CS, JGYTFK, University of Szeged, Hungary
{495-495} Robust Distributed Secure Storage for Middle Size Networks
Vilmos Bilicki, Mihály Bohus
University of Szeged, Institute of Informatics Department of Software Engineering
{496-496} Indexation by subsumption in Cased based reasoning
Katalin Bognár
University of Debrecen, Institute of Informatics
{497-497} Combinatorial Designs and Interconnection Networks
Gábor Fazekas
Department of Information Technology, University of Debrecen
{498-498} E-learning solutions in the training of physical education teachers
Ágnes Kokovay a, Gábor Fazekas b
a Department of Physical Education, College of Nyíregyháza
b Department of Information Technology, University of Debrecen
{499-499} Statistical analysis of distance functions for digital image processing applications
András Hajdu, János Kormos, Zoltán Zörgő
Institute of Informatics, University of Debrecen
{500-500} Tools supporting Web Engineering
Lajos Kollár
Department of Information Technology, Institute of Informatics, University of Debrecen, H-4010, P.O. Box 12, Debrecen, Hungary
{501-502} Novel Enumeration Algorithm for Weighted PNS Problem
Zoltán Kovács
Department of Applied Informatics, University of Szeged, 6720 Szeged, Árpád tér. 2., Hungary
{503-503} Direct refutation for the ω-categoricity of the first-order theory of a spacetime-geometrical structure
Sándor Vályi
University of Debrecen, Institute of Informatics