Name |
Session |
Title |
Áron Sisak |
Metaprogramming |
Verification of UML 2 State Machines by Automated Model Transformation to the SAL Model Checker |
Ferenc Bozóki et al. |
Testing |
Test Component Assignment and Scheduling in a Load Testing Environment |
Levente Hunyadi |
Operation Research |
An Identification Approach to Dynamic Errors-in-variables Systems with a Preliminary Clustering of Observations |
Kristóf Csorba et al. |
Artificial Intelligence |
Searching for Similar Documents Between Mobile Devices |
Balázs Erdőhelyi |
Image processing |
Bone Fragment Repositioning Using Registration Methods |
József Dániel Dombi et al. |
Clouds, Fuzzy Sets |
Function Approximation with Fuzzy Operators |
Thorsten Bonato |
Graph Theory, Algorithms |
Lifting and Separation Procedures for the Cut Polytope |
Melinda Tóth et al. |
Program Analysis |
Call Graph and Data Flow analysis of Dynamic Functional Language |
József Marton et al. |
Distributed Solutions |
In-memory Preprocessing of Streaming Sensory Data: a Partitioned Relational Database Approach |
József Dániel Dombi et al. |
Allocation Problems |
Adaptive Scheduling Solution for Grid Meta-brokering |
Ville Piirainen |
Theoretical Computer Science |
Principal Varieties of Finite Congruences |
István Siket |
Program Analysis and Evaluation |
Evaluating the Effectiveness of Object Oriented Metrics for Bug Prediction |
Name |
Session |
Title |
Gergely Dévai |
Metaprogramming |
Metaprogramming on the Proof Level |
Zalán Szűgyi et al. |
Testing |
Necessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage |
Emese Szádeczky-Kardoss |
Artificial Intelligence |
Designing a Tracking Controller for Passenger Cars with Steering Input |
László Csernetics |
Image Processing |
Backprojection Reconstruction Algorithm Using Order Statistic Filters in Breast Tomosynthesis |
Mihály Gara et al. |
Image Processing |
Determination of Geometric Features of Binary Images from Their Projections by Using Decision Trees |
Jan-Hendrik Prinz |
Graph Theory, Algorithms |
Enhanced Phasespace Sampling of Biomolecular Systems Using Metastability |
András Csernenszky |
Graph Theory, Algorithms |
The Chooser-Picker 7-in-a-row-game |
Anett Rácz |
Branch and Bound Technique |
Determining Initial Bound by "Ray-method" in Branch and Bound Procedure |
Judit Jász |
Program Analysis |
Efficient Static Impact Analysis |
Péter Kardos |
Recognition, Skeletonization Algorithms |
An Order-Independent Sequential Thinning Algorithm |
Izabella Sthul |
Theoretical Computer Science |
Steiner Loops |
Lajos Jenő Fülöp |
Program Analysis and Evaluation |
Introducing a Benchmark for Evaluating Reverse Engineering Tools |