ICAI 2004

Lecturer(s)	Title of the paper	Arrived
Adamkó, Attila	Design concepts for data-intensive web applications	Yes
Almási, Béla	Investigating Multicasting Traffic in Multistage Interconnection Networks with MOSEL	Yes
Antal, Margit	Statistical Methods in Speaker Identification	Yes
Aszalós, László Bakó, Mária	How can we improve the spatial intelligence?	Yes
Balogh, János	Global optimization on Stiefel manifolds --- some particular problems	Yes
Balázsfalvi, Gábor	A solution for building evaluation functions in two player games	Yes
Baran, Sándor Veress, L.	Estimating the risk of a Down's syndrome term pregnancy using age and serum markers	Yes
Baran, Ágnes	Crouzeix-Velte spectrum for some finite elements	No
Bartus, Zsolt Kummer, Zoltán	Devices of engineering communication in pneumatic in the view of energy saving	Yes
Battyányi, Péter	On some nonstandard extensions of Heyting Arithmetic	Yes
Benic, Vladimir Gorjanc, Sonja	Gaussian and Mean Curvatures Mathematica Visualisations	Yes
Bilicki, Vilmos Bohus, Mihály	Robust Distributed Secure Storage for Middle Size Networks	No
Bodrogi Zichar, Marianna	Analysis of Network Part-Topology in Autodesk Map 6	Yes
Bognár, Katalin	Indexation by subsumption in Cased based reasoning	No
Bánhelyi, Balázs Csendes, Tibor	A verified computational technique to locate chaotic regions of a Henon system	Yes
Búza, Antal	The abilities and some possible extensions of the Continuous Query Language	Yes
Csajbók, Zoltán Ködmön, J.	Some Applications of a New One-way Function Based on Norm Form Equations	Yes
Csallner, András Erik Balogh, J. Mágoriné Huhn, Á. Kovács, Z.	On a Coordinatewise Direct Heuristic Local Search	No
Csiszár, Tibor Kókai, Tamás	The advanced services of an object-role oriented business framework	Yes
Csiszár, Tibor Kókai, Tamás	The basic services of an object-role oriented business framework	Yes
Csáki, Tibor	The Jodie+ programming language	No
Csörnyei, Zoltán	Type Systems and the Program Verification	Yes
Daragó, László	A polynomial interpolation	Yes
Diviánszky, Péter Szabó-Nacsa, R. Horváth, Z.	A Framework for Refactoring Clean Programs	Yes
Espák, Miklós	Aspect-Oriented LISP Framework	Yes
Falucskai, János	DFA of Non Unique Decodable Code	Yes
Fazekas Imre	Objects Management In Real-Time In JAVA Systems	Yes
Fazekas Kis, Maria	Applications Time Series Models On Medical Research	Yes
Fazekas, Attila Hajdu, András Kollár, Lajos Kormos, János Veréb, Krisztián Zörgő, Zoltán	Intelligent urban traffic development support system - *(4 lectures)*	Yes
Fazekas, Gábor	Combinatorial Designs and Interconnection Networks	No
Fazekas, István Chuprunov, Alexey	Asymptotic normality of kernel type density estimators for random fields	Yes
Fogarassy Vathy, Ágnes	Application of Data Mining Methods in Health Care Databases	Yes
Frits, Erika Rév, Endre Lelkes, Zoltán Markot, Mihály Csendes, Tibor	Application of an interval optimization method for studying feasibility of batch extractive distillation	Yes
Geda, Gábor Vida, József	Observation of mechanical movements through virtual experiments	Yes
Gábor, András	Database Systems Benchmarking	Yes
Gáll, József	Some problems in forward interest rate models	Yes
Hajdara, Szabolcs Ugron, Balázs	Describing Semantics of Data Types in XML	Yes
Hajdú, András Kormos, János Zörgő, Zoltán	Statistical analysis of distance functions for digital image processing applications	No
Harms, Susanne Frei, Andrea Schikora, Regina	Applications of B-spline Curves - two examples	Yes
Hegedűs, Hajnalka Horváth, Zoltán	Distributed Computing Based on Clean Dynamics	Yes
Hernyák, Zoltán Horváth, Zoltán Zsók, Viktória	Clean-CORBA Interface Supporting Skeletons	Yes
Hernáth, Zsolt Vincellér, Zoltán	Generalized Document Data Model for Integrating Autonomous Applications	Yes
Hoffmann, Miklós Juhász, Imre	On the shape control of B-spline curves by knots	Yes
Holovács, József	Russian-Hungarian Translation System	Yes
Horváth, Zoltán Kozsik, Tamás Tejfel, Máté	Verifying invariants of abstract functional objects - a case study	Yes
Ispány, Márton	Application of the MCMC algorithm in Web mining	Yes
Istenes, Zoltán	Learning serious knowledge while "playing" with robots	Yes
Iszály, György Barna	Music library system of the Future	Yes
Iványi, Antal Hermann, Péter	Work-efficient prefix computation	No
Iványi, Antal Horváth, Márk	Perfect sequences	No
Javorszky, Károly	Possible Uses of the Disjunction Operator M	Yes
Javorszky, Károly	Unique Identification of States of Sets	Yes
Jeszenszky, Péter Antal, Péter Bátfai, Norbert	The mobiDIÁK Self-Organizing Mobile Portal	Yes
Juhász, István Fazekas, Imre	Teaching Technologies At The Institute Of Informatics Of The University Of Debrecen	Yes
Juhász, István Guta, Gábor	Development Trends In Refactoring And Measurement Tools	Yes
Juhász, István Gábor, András	Teaching Database Systems At The Institute Of Informatics Of The University Of Debrecen	Yes
Jónás, Richárd	Component collaboration in Web environment	Yes
Király, Roland	The Development of Dynamic Web Pages - Practice and Methodology	Yes
Kokovay, Ágnes Fazekas, Gábor	E-learning solutions in the training of physical education teachers	No
Kollár, Lajos	Tools supporting Web Engineering	No
Kovács, Emőd	Construction ruled surfaces from scattered data by Kohonen network	No
Kovács, Zoltán	Novel Enumeration Algorithm for Weighted PNS Problem	No
Kovásznai, Gergely	Algorithmic Improvements in Natural Language Parsing within Dialogue Systems	Yes
Krasznahorkay, Ilona	Construction of decision trees using the MCMC algorithm	Yes
Kuki, Attila Sztrik, János Bolch, Günter	Software tools for network modelling	Yes
Kukush, Alexander	Translation-invariant estimator in a quadratic measurement error model	No
Kummer, Zoltán Bartus, Zsolt	New solutions in the structured computer networks	Yes
Kusper, Gábor	Proving by Assignment Trees that SAT Solvers are Non-Polynomial in Unit Propagation Framework with 1 Selection and Cache	Yes
Kéri, Gerzson	Classification of MDS Codes by Exhaustive Computer Search	Yes
Kósa, Márk	Stochastic Simulation of Markov-Modulated Finite-Source Queues in Java Environment	Yes
Kósa, Márk Pánovics, János Gunda, Lénárd	An evaluation tool for programming contests	Yes
Lakatos, Gergely Nagy, Benedek	Games with few players	Yes
Ledeczky, Gábor	Some manipulation in central axonometry	No
Lengyel, Miklós Sztrik, János	Differentiated Services simulations using traditional scheduling algorithms	Yes
Ligeti, Péter	Reconstruction from subwords	Yes
Lövei, László	Compiling P-GRADE programs for the JGrid architecture	Yes
Marien, Szabolcs Kusper, Gábor	Understanding Design Patterns as Constructive Proofs	Yes
Molnár, Emil	Projection By Grassmann Algebra Of E4	No
Mourlin, Fabrice Skaita, Jaouad	Mobile agent for the database management using Jini	Yes
Mátrai, Rita Kosztyán, Zsolt Tibor Lányi, Cecília	Expandable Multimedia Software For Children Suffering From Dyslexia	Yes
Novotny, Ádám	The Present and Future of Teleworking	Yes
Oláh-Gál, Róbert Máté, Szilárd	Virtual portraits of János Bolyai	Yes
Oláh-Gál, Róbert Pál, László	Discrete approximation	Yes
Pajna, Sándor	Knowledge based public administration systems	Yes
Pap, Gyula	Confidence bounds for a parameter	No
Papp, Ágnes	Standardized interchange of application design models	Yes
Pilászy, István Förhécz, András	Improving Hungarian Text Categorization Using Domain-Specific Ontology	Yes
Pintér, István	Algorithm for segmenting speech sample sequences using the Jensen-Shannon divergence	Yes
Porkoláb, Zoltán Sillye, Ádám	Comparison of Object-Oriented and Paradigm Independent Software Complexity Metrics	Yes
Princz, Mária Rutkovszky, E. Katalin	Content Discovery of Invisible Web	Yes
Radványi, Tibor	Methodology of Teaching Programming	No
Roszik, János Almási, Béla Sztrik, János	Multiserver Retrial Queues with Finite Number of Heterogeneous Sources	Yes
Roszik, János Sztrik, János	The effect of server's breakdown on the performance of finite-source retrial queueing systems	Yes
Rutkovszky, Ádám	Building a Web-based Health Promotion Database	Yes
Salamon, Júlia	Conformal application with computer graphics in simply connected regions	Yes
Schmid, Daniel	Computational Geometry : Union of Rectangles	Yes
Schwarz, Tibor	Centralaxonometric mapping in computer-graphics	No
Sik Lányi, Cecília Takács, Barnabás Simon, Lajos Simon, Viktória Laky, Viktória Tilinger, Ádám	Virtual Reality in the Rehabilitation	Yes
Sik Lányi, Cecília Tilinger, Ádám Umenhoffer, Tamás	Development of a virtual reality navigation test application	No
Siket, István Ferenc, Rudolf	Calculating Object Oriented Metrics from Large C++ Programs	Yes
Sokas, Algirdas	Programming Graphical Objects And Spreadsheet In Engineering Design	Yes
Stachel, Hellmuth	Remarks on Spatial Gearing	Yes
Stikkel, Gábor Szederkényi, Gábor	How long should we test? - a dynamic model	Yes
Szabó, Péter Gábor	On proving existence of some circle packings in a square using computer algebra systems	No
Szathmáry, László Napoli, Amedeo	Organizing information sources for Knowledge Management using Galois lattices	Yes
Szilvási-Nagy, Márta Szabó, Ildikó	An algorithm for triangular meshes	Yes
Szilágyi, Ibolya	Parametrization and Implizitization Using Symbolic-Numeric Techniques	No
Szlávi, Péter Varga, László Kozma, László	On the correctness of object classes	Yes
Székely, István Kincses, Róbert	MythoLogic: problems and their solutions in the evolution of a project	Yes
Tornai, Róbert	MMA Technology	Yes
Tóth, Erzsébet Fazekas, Gábor	Statistical Methods Used In Search Engine Evaluations	Yes
Ugron, Balázs Hajdara, Szabolcs	Synthesis of the synchronization of pipeline systems	Yes
Varga Pásztor, Katalin Várterész, Magda	Languages of Logic and Applications	No
Veréb, Krisztián	On the Visualization of Image Databases	Yes
Vályi, Sándor	Refutation for the ω-categoricity of the first-order theory of a spacetime-geometrical structure	No
Végh, V Sik-Lányi, C Schanda, J	Using cartoon colours in multimedia presentations	Yes
Weiss, Günter	Synthetic Mathematics: More than a Cranky Idea	Yes
Zuberek, Malgorzata S.	Trends in Computer Science Curricula at the beginning of the 21th Century	Yes
Zólyomi, István Porkoláb, Zoltán	A generative approach for the family polymorphism problem in C++	Yes
Ács, László	Fundamental D-V cells for E4 space groups on the 2D-screen	Yes