to be held in Eger, Hungary
January 28-31 2007
The Conference
General
Previous Conferences
EKF
UNIDEB
UNIDEB
Faculty of Informatics
ICT-CRC
Abstracts we recieved so far
| Lecturer(s) | Title of the paper | Abstract |
| A. Bölcskei, B.Szilágyi |
Visualization of Curves and Spheres in Sol Geometry | Download |
| Andrea Huszti | A new secure voting scheme | Download |
| András Erik Csallner | On the Heuristic Construction of Stepped Upper Estimates | Download |
| András Gábor | TECHNIQUES FOR PAGINATION IN SQL | Download |
| Antal Tátrai, Balázs Dezső, István Fekete |
Increasing the performance of time-limited caches | Download |
| Attila Adamkó | Rapid Web Application Development and Modeling, based on XML and UML technologies | Download |
| Attila Adamkó, Csaba Bornemissza |
Combining the Benefits of MVC Design Pattern and UML Based Modeling for Different Software Platforms | Download |
| Attila Adamkó, Mátyás Arató, Gábor Fazekas, István Juhász |
PERFORMANCE EVALUATION OF LARGE-SCALE DATA PROCESSING SYSTEMS | Download |
| Attila Egri-Nagy, Chrystopher L. Nehaniv |
Algebraic Properties of Automata Associated to Petri Nets | Download |
| Attila Kuki | Teaching Experiences in Stochastic Modelling | Download |
| Balázs Bánhelyi, Tibor Csendes, Jose A. Martinez, Leocadio Gonzlez Casado |
A parallelized computer-assisted proof of chaos | Download |
| Barnabás Szász | Reasoning in Museum24 Semantic Virtual Museum | Download |
| Bela Almasi | RDCONT - A System for Diabetes Blood Glucose Data Management | Download |
| Benedek Nagy, Agota Orosz |
Simple digital objects on Z^2 | Download |
| Benedek Nagy, Sándor Vályi |
Interval-valued computations without the product operator | Download |
| Bertalan Kis, Ákos Kovács, László Nagy, Tibor Balla |
E-Learning development project at Debrecen University ICT-CRC | Download |
| Brigitta Németh, Csilla Sörös |
EVALUATION OF SPATIAL ABILITY AND ITS CONSEQUENCES | Download |
| Coulibaly Sékou Tidiani | An empirical method for determining the number of iterations needed in the pre-processing of X-ray images of welds using PCNN algorithms | Download |
| Csaba Bornemissza | Comparing Lightweight and Heavyweight Modeling Technologies for Complex Application Development Processes | Download |
| Csaba Nagy | Extension of GCC with a fully manageable reverse engineering front end | Download |
| Csaba Szabó, Ladislav Samuelis, Roman Bazelides |
On the Role of Incrementality in Test Design | Download |
| Csaba Vágvölgyi | E-Learning 2.0 - the Future of Web Based Learning Technologies | Download |
| Cyril Dumont, Fabrice Mourlin |
Mobile Agent Framework for Parallel Computing: MAFPC | Download |
| DÉNES SULYOK, TAMÁS NAGY DÖVÉNYI |
Examining the efficiency of alternative tillage systems, with 4M-eco crop- and Agrobusiness model | Download |
| E. Fülöp, G. Pap |
Local asymptotic normality of unstable HJM type interest rate model | Download |
| Emil MOLNÁR, István PROK, Jenő SZIRMAI |
An infinite series of hyperbolic 3-space tilings on the screen of computer | Download |
| Erika Perge | Using a computer to teach hand-drawing | Download |
| Francis Rousseaux | New Ideas for Browsing our Digital Collections | Download |
| Gergely Dévai, Zoltán Csörnyei |
Separation logic style reasoning in a re nement based language | Download |
| Gergely Kovásznai | Redundancy for Rigid Clausal Tableaux | Download |
| Gianfranco Pedone, László Zsolt Varga |
Supporting MAS complex service modelling through capabilities validation | Download |
| Győrgy Ferenc Tóth, Zsolt Csaba Johanyák |
Reform of the software engineering teaching - demands and conception | Download |
| Gyöngyi Bujdosó | Complex e-learning system on word processing | Download |
| Gyöngyi Bujdosó | Ontology in e-learning: a tool for increasing efficiency | Download |
| György Barna Iszály | WAP applications of Libraries | Download |
| György Terdik | Internet traffic v. technology change in 10 years | Download |
| Gábor Balázsfalvi, János Sztrik |
Modeling P2P protocols by cellular automata | Download |
| Gábor Fazekas, Katalin Bognár, István Juhász |
Co-operative Research Centre for Information Technology in Debrecen | Download |
| Gábor Geda | Investigation of Stochastic Models of Some Periodic Phenomena | Download |
| Gábor Kusper, Lajos Csőke |
A Better DPLL Algorithm Using the N-Literal SAT Representation | Download |
| Géza Horváth | New Pumping Lemma for not K-Linear Context-Free Languages | Download |
| Hannelore Lisei, Anna Soós |
Approximation of solutions of SDE driven by multifractional Brownian motion | Download |
| Ilir Kurti, Zoltán Porkoláb |
Supporting generic programing in CORBA IDL | Download |
| Imre Fazekas | NEW TECHNOLOGIES BEYOND OO | Download |
| Imre KOCSIS | Applying animation in teaching of mathematics for engineering students | Download |
| István FAZEKAS | A FUNCTIONAL CENTRAL LIMIT THEOREM FOR KERNEL TYPE DENSITY ESTIMATORS | Download |
| István László, Gábor Csornai, István Fekete |
An alternative approach to data fusion in remote sensing | Download |
| István Pintér, Iván Lajtai |
RBF-MRAC neurocontroller for industrial applications | Download |
| Jenő SZIRMAI | Visualization of the densest lattice-like ball packing in Nil geometry | Download |
| János Falucskai | Some Algorithms Concerning Uniquely Decipherable Codes | Download |
| János Folláth, Andrea Huszti, Attila Pethő |
DESignIn - An Asymetric Authentication System | Download |
| János KATONA, Emil MOLNÁR |
A visibility algorithm for the projection PS^d --> PS^2 | Download |
| János Sztrik, Che Soong Kim |
The role of performance tools in modeling complex systems | Download |
| János Végh | An "embedded expert system" and its application in electron spectroscopy | Download |
| József Demeter, Barnabás Szász |
Data mining based on medical diagnosis | Download |
| József Holovács, Gábor Kusper, Lajos Csőke |
Philosophical and Natural Science Aspects of Information | Download |
| József Mihalicza | The is_in_namespace predicate | Download |
| József Szabó | UNTERSUCHUNG DIE GENAUIGKEIT DER ABBILDUNGEN DER DIGITALEN FOTOMASCIENE | Download |
| Júlia Salamon | Sensitivity analysis of the energy functional defined on Sobolev space | Download |
| Katalin Kada, Attila Kiss |
Revising Decision Trees in Cooperative Intelligent Multi-Agent Systems | Download |
| Kristóf Vajda | Reducing Ambiguity in Machine Translation Through Iterative Analysis | Download |
| Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb |
Runtime Access Control in C# | Download |
| Kálmán ABARI, Gábor PÁLI |
Problems of Acoustic Echo Cancellation | Download |
| Ladislav Samuelis, Csaba Szabó, Zdenek Havlice |
Teaching Java programming based on the pool of open source case studies | Download |
| Lajos Kollár, Henrietta Sipos, Krisztián Veréb |
Object-relational EH databases | Download |
| Lajos Kollár, Krisztián Veréb |
Enhancing content-based image retrieval | Download |
| Laszlo SZATHMARY | Finding key generators in a levelwise manner | Download |
| Laszlo-Zsolt Szabo | An image analyser program written in MATLAB to detect and analyse elementary events of calcium release on muscle cells | Download |
| László Daragó | Pixelisation technique in the health care | Download |
| László Kovács | Generating decision tree for a lattice-based classification problem | Download |
| László Kovács, Zoltán Irházi |
Developing an MRL security layer for relational databases | Download |
| László Lővei, Zoltán Horváth, Tamás Kozsik, Roland Király |
Static rules for variable scoping in Erlang | Download |
| László Pál, Tibor Csendes, Oscar H. Sendin, Julio R. Banga |
Improvements on the GLOBAL Optimization Algorithm with Numerical Tests | Download |
| László VÖRÖS | Two- and three-dimensional tilings on the base of higher-dimensional cube mosaics | Download |
| Malgorzata S. Zuberek | The Grand Multidisciplinary Challenge and the Future of Academia "In Nature Things Overlap" | Download |
| Marta Szilvasi-Nagy | About the geometry of milling paths (the case of discrete surfaces) | Download |
| Mihály Biczó, Krisztián Pócza, Zoltán Porkoláb |
A Cache-Based Inter-Procedural Static Slicing Algorithm | Download |
| Miklós Espák | Querying on Java Code | Download |
| Miklós Herdon | Collaborative working tools and applications in agriculture | Download |
| Miklós Herdon, László Várallyai |
NODES E-LEARNING NETWORK DEVELOPMENT | Download |
| Miklós Krész, Attila Tóth |
Graph clustering methods on genomic data | Download |
| Miklós Lengyel, János Sztrik |
Diffserv investigations with Dummynet | Download |
| Márk Kósa, János Pánovics |
Search algorithms at ACM contests | Download |
| Márton Ispány, Ágnes Papp |
Applications of ensemble methods in data mining | Download |
| Mátyás Arató, Gábor Fazekas, Lajos Kollár |
Statistical measurement of software quality | Download |
| Máté Tejfel | Proving Composed Specifications of Clean Programs in Sparkle-T | Download |
| Nikolaj Popov, Tudor Jebelean |
Verification of Multiple Choice Functional Programs in Theorema | Download |
| Norbert Pataki, Tamás Kozsik, Zoltán Porkoláb |
Properties of C++ Template Metaprograms | Download |
| Norbert Pataki, Zoltán Porkoláb, Edit Csizmás |
Why Code Complexity Metrics Fail on the C++ Standard Template Library | Download |
| Princz Maria | Search Engine Ranking | Download |
| Péter Diviánszky, Gáspár Erdélyi |
Graphs as Infinite Terms in Functional Languages | Download |
| Péter Jeszenszky | Browsing the Semantic Web | Download |
| Péter Orosz, János Sztrik, Che Soong Kim |
TCP dynamics and congestion control on asymmetric lines | Download |
| Péter Takács | The Extension of CSN-logics: On the Examine of Multi-Channel Protocols | Download |
| Péter Takács, Zsolt Kristóf |
The investigation of the development of programming languages | Download |
| Róbert Kitlei, Gergely Dévai, Ádám Balogh, Zoltán Csörnyei |
Comparative analysis of refactoring and code optimization | Download |
| Susanne Harms | Aitken- Spline curves and surfaces with C^r - continuity | Download |
| Szilvia BELA | About the geometry of milling paths | Download |
| Sándor Buglyó | Teaching the subject "Mathematics I." using the software MATLAB | Download |
| Tamas Kenesei, Balazs Feil, Janos Abonyi |
Identification of Dynamic Systems by Hinging Hyperplane Models | Download |
| Tamás Bérczes, János Sztrik |
A queueing network model to study Proxy Cache Servers | Download |
| Tamás Herendi | Uniform transformation of sequences | Download |
| Tamás Kovács | A fast fractal image compression algorithm | Download |
| Tamás Krausz | Wireless security | Download |
| Tamás Lukovszki | Terminal Assignment in Static Wireless Networks | Download |
| Thomas Weidner, Andreas Kommer |
Some aspects of clothoids | Download |
| Tibor Csáki | Using symbol classification on multi-tape automata with symbol classes on rational kernel releated problems | Download |
| Tibor Radványi, Gábor Kusper |
Requirement Analyzes and a Database Model for the Project EGERFOOD Food Safety Knowledge Center | Download |
| Tibor Ásványi | Programming with Indirect Pointers | Download |
| Valerie Novitzka, Daniel Mihalyi, Viliam Slodicak |
Finite Automata in the Mathematical Theory of Programming | Download |
| Viktória Zsók | Semantic Issues of D-Clean | Download |
| Vilmos Bilicki, Mihály Bohus, Miklós Kasza |
Netspotter: a framework for network testing | Download |
| Vu Le Anh, Attila Kiss, Vinceller Zoltan |
Parallel Processing Search Engine For Very Large XML Data Sets | Download |
| ZOLTÁN CSAJBÓK | ON THE MAPPINGS OF REDUCED ELLIPTIC CURVES HAVING NO RATIONAL POINTS INTO [0; 1)^2 | Download |
| ZOLTÁN CSAJBÓK | ON THE STRUCTURE OF REDUCED POINTS OF ELLIPTIC CURVES DEFINED OVER RATIONALS | Download |
| Zalán Szűgyi, Zoltan Porkoláb |
SIP Compression in Mobile Device Environment | Download |
| Zita Bosnjak, Sasa Bosnjak, Ilija Subasić, Peđa Matković |
Evaluating Readiness for Distance Learning Implementation | Download |
| Zoltan Gal, Tamas Balla |
Statistical Aspects of Network Based Real-time Group Communication and Collaboration Services | Download |
| Zoltan Katai | "Who wants to be eminent?" - Assessment method and software | Download |
| Zoltan Mako | Banded approximation with diffusion-neural-network | Download |
| Zoltan Porkolab, Norbert Pataki, Adam Sipos, Viktoria Zsok, Marjan Hericko, Ales Zivkovic |
Application of OO metrics to estimate .NET project software size | Download |
| Zoltán Istenes, Attila Pásztor |
The use of programmable robots in the education of programming | Download |
| Zoltán Istenes, Tamás Kozsik |
Verified mobile components - a case study | Download |
| Zoltán Juhász, Ádam Sipos |
Implementation of a Finite State Machine with Active Libraries | Download |
| Zoltán Lengyel | Efficient Skolemization | Download |
| Zoltán Porkoláb | C++ Template Metaprogramming - Why, When and How? | Download |
| Zsolt Hernáth | Container Model | Download |
| Ádám Balogh, Zoltán Csőrnyei |
A General Method of Low-Level Exception Reporting and Handling using System Predicate Classes | Download |
| Ádám Sipos, István Zólyomi, Zoltán Porkoláb |
On the Correctness of Template Metaprograms | Download |
| Ákos Dávid, Tamás Pozsgai, László Kozma |
On the granularity of components | Download |