Day 1: July 2 |
| 08:00 | Registration |
| |
| |
| 08:50 | Opening session |
| |
| |
09:00 | Session 1: Metaprogramming |
| | session chair: Csendes, Tibor |
| 09:00 | | Norbert Pataki | A Comparative Study of C++ Standard Template Library's Formal Specification | |
| 09:25 | | �ron Sisak | Verification of UML 2 State Machines by Automated Model Transformation to the SAL Model Checker | |
| 09:50 | | Gergely D�vai | Metaprogramming on the Proof Level | |
| |
| 10:15 | Break |
| 10:30 | Plenary Talk |
| | Tam�s Horv�th | Mining Chemical Graphs | |
| |
| 11:20 | Break |
11:40 | Session 2: Testing |
| | session chair: Besz�des, �rp�d |
| 11:40 | | Zal�n Sz�gyi | Necessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage | |
| 12:05 | | Ferenc Boz�ki | Test Component Assignment and Scheduling in a Load Testing Environment | |
| |
| |
| 12:30 | Lunch |
| | At the G�d�r restaurant. | |
| |
| |
14:00 | Session 3: Operation Reserach |
| | session chair: Csallner, Andr�s Erik |
| 14:00 | | L�szl� P�l | Matlab Version of the GLOBAL Optimization Method | |
| 14:25 | | Levente Hunyadi | An Identification Approach to Dynamic Errors-in-variables Systems with a Preliminary Clustering of Observations | |
| |
| 14:50 | Break |
15:05 | Session 4: Artificial Intelligence |
| | session chair: Dombi, J�zsef |
| 15:05 | | Emese Sz�deczky-Kardoss | Designing a Tracking Controller for Passenger Cars with Steering Input | |
| 15:30 | | Krist�f Csorba | Searching for Similar Documents Between Mobile Devices | |
| 15:55 | | Csaba F�z� | 3-level Confidence Voting Strategy for Dynamic Fusion-Selection of Classifier Ensembles | |
| |
| 16:20 | Free program |
| 18:00 | Dinner |
| | At the G�d�r restaurant. | |
| |
| |
Day 2: July 3 |
9:00 | Session 5: Image Processing |
| | session chair: Kat�, Zolt�n |
| 9:00 | | L�szl� Csernetics | Backprojection Reconstruction Algorithm Using Order Statistic Filters in Breast Tomosynthesis | |
| 9:25 | | Mih�ly Gara | Determination of Geometric Features of Binary Images from Their Projections by Using Decision Trees | |
| 9:50 | | Bal�zs Erd�helyi | Bone Fragment Repositioning Using Registration Methods | |
| |
| 10:15 | Break |
| 10:30 | Plenary Talk |
| | M�rk Jelasity | Gossip Algorithms in Peer-to-peer Computing | |
| |
| 11:20 | Break |
11:40 | Session 6: Clouds, Fuzzy Sets |
| | session chair: Jelasity, M�rk |
| 11:40 | | Martin Fuchs | Potential Clouds in Robust Design | |
| 12:05 | | J�zsef D�niel Dombi | Function Approximation with Fuzzy Operators | |
| |
| |
| 12:30 | Lunch |
| | At the G�d�r restaurant. | |
| |
| |
14:00 | Session 7: Graph Theory, Algorithms |
| | session chair: Pluh�r, Andr�s |
| 14:00 | | Thorsten Bonato | Lifting and Separation Procedures for the Cut Polytope | |
| 14:25 | | Jan-Hendrik Prinz | Enhanced Phasespace Sampling of Biomolecular Systems Using Metastability | |
| 14:50 | | Andr�s Csernenszky | The Chooser-Picker 7-in-a-row-game | |
| 15:15 | | Csaba Leg�ny | Modeling Web Service Interaction Using Markovian Processes | |
| |
| 15:40 | Break |
15:55 | Session 8: Branch and Bound Technique |
| | session chair: Csallner, Andr�s Erik |
| 15:55 | | L�szl� P�l | A Global Optimization Algorithm for INTLAB | |
| 16:20 | | Anett R�cz | Determining Initial Bound by "Ray-method" in Branch and Bound Procedure | |
| |
| 16:45 | Free program |
| 18:00 | Reception |
| | At the conference place. | |
| |
| |
Day 3: July 4 |
09:00 | Session 9: Program Analysis |
| | session chair: Besz�des, �rp�d |
| 09:00 | | Judit J�sz | Efficient Static Impact Analysis | |
| 09:25 | | Melinda T�th | Call Graph and Data Flow analysis of Dynamic Functional Language | |
| 09:50 | | Ferenc Fischer | Calculation and Application of the Dynamic Function Level Dependencies in Java Programs | |
| |
| 10:15 | Break |
| 10:30 | Plenary Talk |
| | Zora Konjovic | Geo-space Management Based on Information and Communication Technologies | |
| |
| 11:20 | Break |
11:40 | Session 10: Distributed Solutions |
| | session chair: Schrettner, Lajos |
| 11:40 | | M�t� Tejfel | Verified Mobile Code Repository in the Intelligent Space | |
| 12:05 | | J�zsef Marton | In-memory Preprocessing of Streaming Sensory Data: a Partitioned Relational Database Approach | |
| |
| |
| 12:30 | Lunch |
| | At the G�d�r restaurant. | |
| |
| |
14:00 | Session 11: Recognition, Skeletonization Algorithms |
| | session chair: Kat�, Zolt�n |
| 14:00 | | Levente Saj� | Enhancing Facial Features Detection with Deformable Face Templates | |
| 14:25 | | P�ter Kardos | An Order-Independent Sequential Thinning Algorithm | |
| 14:50 | | Gy�rgy Kov�cs | Skeletonization Based on Neighborhood Sequences | |
| |
| 15:15 | Free program |
| 16:00 | Social Program |
| | Visit the Informatic Collection. | |
| |
| |
| 18:00 | Dinner |
| | At the Feh�rt� Fishermen's Tavern. | |
| |
| |
Day 4: July 5 |
09:00 | Session 12: Allocation Problems |
| | session chair: Imreh, Csan�d |
| 09:00 | | L�szl� Illy�s | A Special Human Resource Allocation Problem | |
| 09:25 | | Tam�s N�meth | Parameter Learning Algorithms in Online Scheduling | |
| 09:50 | | J�zsef D�niel Dombi | Adaptive Scheduling Solution for Grid Meta-brokering | |
| |
| 10:15 | Break |
| 10:30 | Plenary Talk |
| | G�bor Ivanyos | The Hidden Subgroup Problem in Quantum Computing | |
| |
| 11:20 | Break |
11:40 | Session 13: Theoretical Computer Science |
| | session chair: F�l�p, Zolt�n |
| 11:40 | | Izabella Sthul | Steiner Loops | |
| 12:05 | | Ville Piirainen | Principal Varieties of Finite Congruences | |
| |
| |
| 12:30 | Lunch |
| | At the G�d�r restaurant. | |
| |
| |
14:00 | Session 14: Program Analysis and Evaluation |
| | session chair: Gyim�thy, Tibor |
| 14:00 | | Gabriella T�th | Analysis of Size Differences Between Static and Dynamic Slices | |
| 14:25 | | Istv�n Siket | Evaluating the Effectiveness of Object Oriented Metrics for Bug Prediction | |
| 14:50 | | Lajos Jen� F�l�p | Introducing a Benchmark for Evaluating Reverse Engineering Tools | |
| |
| |
| 15:15 | Closing |
| |
| |
