|
(CS)2 - The Sixth Conference of PhD Students in Computer Science |
| Main |
| Home |
| Call for Extended Abstracts |
| Important Dates |
| Author Information |
| Registration |
| Conference |
| Program |
| Proceedings |
| Invited Talks |
| Presentations |
| Awards |
| Photos |
| Journal Publications |
| Information |
| Committees |
| Locations |
| Sponsors |
| Previous CSCSs |
| Contact |
Proceedings
Table of contents of the proceedings
| Preface | 3 | |||
| Contents | 4 | |||
| Preliminary Program | 5 | |||
| Abstracts | 12 | |||
| Bonato, Thorsten | Lifting and Separation Procedures for the Cut Polytope | 12 | ||
| Bozóki, Ferenc Erős, Levente | Test Component Assignment and Scheduling in a Load Testing Environment | 13 | ||
| Csernenszky, András | The Chooser-Picker 7-in-a-row-game | 14 | ||
| Csernetics, László | Backprojection Reconstruction Algorithm Using Order Statistic Filters In Breast Tomosynthesis | 15 | ||
| Csorba, Kristóf Vajk, István | Searching for Similar Documents Between Mobile Devices | 17 | ||
| Dévai, Gergely | Metaprogramming on the Proof Level | 18 | ||
| Dombi, József Dombi, József Dániel | Function Approximation with Fuzzy Operators | 19 | ||
| Erdőhelyi, Balázs | Bone Fragment Repositioning Using Registration Methods | 20 | ||
| Fischer, Ferenc | Calculation and Application of the Dynamic Function Level Dependencies in Java Programs | 21 | ||
| Főző, Csaba Gáspár-Papanek, Csaba | 3-level Confidence Voting Strategy for Dynamic Fusion-Selection of Classifier Ensembles | 22 | ||
| Fuchs, Martin Neumaier, Arnold | Potential Clouds in Robust Design | 23 | ||
| Fülöp, Lajos Jenő Hegedűs, Péter Ferenc, Rudolf | Introducing a Benchmark for Evaluating Reverse Engineering Tools | 25 | ||
| Gara, Mihály Balázs, Péter | Determination of Geometric Features of Binary Images from Their Projections by Using Decision Trees | 26 | ||
| Hunyadi, Levente | An Identification Approach to Dynamic Errors-in-variables Systems with a Preliminary Clustering of Observations | 27 | ||
| Illyés, László | A Special Human Resource Allocation Problem | 28 | ||
| Jász, Judit | Efficient Static Impact Analysis | 29 | ||
| Kardkovács, Zs. T. Gáspár-Papanek, Cs. Szabó, G. Sipőcz, E. Pécsi, G. | High Precio sion Pedestrian Recognition in Low Resolution Images | 30 | ||
| Kardos, Péter Németh, Gábor | An Order-Independent Sequential Thinning Algorithm | 32 | ||
| Kertész, Attila Dombi, József Dániel Dombi, József | Adaptive Scheduling Solution for Grid Meta-brokering | 34 | ||
| Kovács, György Németh, Gábor | Skeletonization Based on Neighborhood Sequences | 36 | ||
| Legány, Csaba Raluca, Popa Kaszó, Márk | Modeling Web Service Interaction Using Markovian Processes | 38 | ||
| Marton, József Gajdos, Sándor | In-memory Preprocessing of Streaming Sensory Data Partitioned Relational Database Approach | 40 | ||
| Nagy, Tamás Horváth, Zoltán Lövei, László Tóth, Melinda Nagyné Víg, Anikó | Call Graph and Data Flow Analysis of a Dynamic Functional Language | 42 | ||
| Németh, Tamás Imreh, Csanád | Parameter Learning Algorithms in Online Scheduling | 44 | ||
| Pál, László | Matlab Version of the GLOBAL Optimization Method | 45 | ||
| Pál, László | A Global Optimization Algorithm for INTLAB | 46 | ||
| Pásztor, Attila | Research of Swarm Intelligence Simulation with the Help of NXT Robots | 47 | ||
| Pataki, Norbert Dévai, Gergely | A Comparative Study of C++ Standard Template Library's Formal Specification | 48 | ||
| Piirainen, Ville | Principal Varieties of Finite Congruences | 49 | ||
| Prinz, Jan-Hendrik | Enhanced Phasespace Sampling of Biomolecular Systems Using Metastability | 50 | ||
| Rácz, Anett | Determining Initial Bound by "Ray-method" in Branch and Bound Procedure | 51 | ||
| Sajó, Levente | Enhancing Facial Features Detection with Deformable Face Templates | 52 | ||
| Siket, István | Evaluating the Effectiveness of Object Oriented Metrics for Bug Prediction | 54 | ||
| Sisak, Áron | Verification of UML 2 State Machines by Automated Model Transformation to the SAL Model Checker | 55 | ||
| Stuhl, Izabella | Steiner loops | 56 | ||
| Szádeczky-Kardoss, Emese | Designing a Tracking Controller for Passenger Cars with Steering Input | 57 | ||
| Szűgyi, Zalán Porkoláb, Zoltán | Necessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage | 59 | ||
| Tejfel, Máte Istenes, Zoltán Jeni, László A. | Verified Mobile Code Repository in the Intelligent Space | 60 | ||
| Tóth, Gabriella | Analysis of Size Differences Between Static and Dynamic Slices | 61 | ||
| List of Participants | 62 | |||
| Notes | 66 | |||
cscs@inf.u-szeged.hu
Last change: 2010-03-05