 |
 | Vissza |
Aczél Kristóf: Instrument separation in poliphonic recordings using instrument prints : [abstract].
Balogh János; Békési József; Galambos Gábor; Reinelt Gerhard: On-line bin packing with restricted repacking : lower bounds : [abstract].
Balogh János; Békési József; Galambos Gábor; Reinelt Gerhard: One dimensional semi-on-line bin packing algorithms : [abstract].
Balogh Ádám; Csörnyei Zoltán: New method for designing polymorphic system programming languages : [abstract].
Balázs Péter: On the ambiguity of reconstructing decomposable hv-convex binary matrices : [abstract].
Biczó Mihály; Pócza Krisztián; Porkoláb Zoltán: Test generation with dynamic impact analysis for C++ programs : [abstract].
Bilicki Vilmos: Network topology discovery : [abstract].
Bilicki Vilmos; Dombi József Dániel: Paxos with multiple leaders : [abstract].
Bogárdi-Mészöly Ágnes; Levendovszky Tihamér; Charaf Hassan: Methods for retrieving and investigating performance factors in ASP.NET web applications : [abstract].
Bogárdi-Mészöly Ágnes; Levendovszky Tihamér; Charaf Hassan: Models for predicting the performance of ASP.NET web applications : [abstract].
Busa-Fekete Róbert; Kovács Kornél; Kocsor András: Extracting human protein information from MEDLINE using a full-sentence parser : [abstract].
Bánhalmi András; Paczolay Dénes; Kocsor András: An on-line speaker adaptation method for HMM-based ASRs : [abstract].
Bánhelyi Balázs: Investigation of a delayed differential equation with verified computing technique : [abstract].
Bátori Gábor; Theisz Zoltán; Asztalos Domonkos: Model driven testing of component based systems : [abstract].
Csendes Tibor: Preface.
Cserkúti Péter; Charaf Hassan: A rule-based transformation engine for web page re-authoring : [abstract].
Csorba Kristóf; Vajk István: Probabilistic confidence prediction in document clustering : [abstract].
Csorba Máté J.; Palugyai Sándor: A performance model for load test components : [abstract].
Dombi József; Győrbíró Norbert: Pliant ranking : [abstract].
Dombi Krisztina: Calibration of CCD cameras for computer aided surgery : [abstract].
Dávid Róbert; Vincze Gábor: Improving DHT-based file system performance with B-trees : [abstract].
Dávid Zoltán; Vajk István: Model-free control based on reinforcement learning : [abstract].
Dávid Ákos; Pozsgai Tamás; Kozma László: Extending a system with verified components : [abstract].
Dévai Gergely: Programming language elements for correctness proofs : [abstract].
Egea Jose A.: An optimization approach for integrated design and parameter estimation in process engineering : [abstract].
Erdélyi Gáspár: Towards a unified model of computation with correctness proofs : [abstract].
Faragó Szabolcs: Implementing and comparing impact algorithms : [abstract].
Gera Zsolt: Extensions and applicability of the membership driven reasoning scheme : [abstract].
Gianfranco Pedone: An agent-based framework for supporting e-health : [abstract].
Gombás Gábor: Modeling of grid monitoring systems : [abstract].
Gönczy László: Verification of reconfiguration mechanisms in service-oriented : [abstract].
Hegedűs Hajnalka; Lőrincz László Csaba: Towards a unified stylesheet format for paper-based and electronic documents : [abstract].
Horváth Endre; Jász Judit: Comparison of static- and dynamic call graphs : [abstract].
Horváth Gábor: Design and reengineer metadata with the help of business process modelling : [abstract].
Horváth Zoltán; Lövei László; Kozsik Tamás; Víg Anikó; Nagy Tamás: Refactoring Erlang programs : [abstract].
Horváth Ákos: Automatic generation of compiled model transformations : [abstract].
Imre Gábor; Charaf Hassan: A novel performance model of J2EE web applications considering application server settings : [abstract].
Kertész Attila; Kacsuk Péter: Grid meta-broker architecture : requirements of an interoperable grid resource brokering service : [abstract].
Kolářová Edita: Numerical simulations of stochastic electrical circuits using C# : [abstract].
Kovács József: Formal analysis of existing checkpointing systems and introduction of a novel approach : [abstract].
Kovács Máté: Simulation and formal analysis of workflow models using model transformations : [abstract].
Kozlovszky Miklós; Berceli Tibor: Optical delay buffer optimization in packet switched optical network : [abstract].
Labádi Máté: A linear programming background for the R∞ HFF upper bound proof : [abstract].
Lengyel László; Levendovszky Tihamér; Charaf Hassan: Aspect-UML-driven model-based software development : [abstract].
Lipovits Ágnes; Kovács Előd; Juhász Zoltán: Fitting the statistical module of the adaptive grid scheduler to the data of the NIIF : [abstract].
Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Marchis Julia: Simulations on a fractal growth model : [abstract].
Mezei Gergely; Levendovszky Tihamér; Charaf Hassan: Optimization algorithms for constraint handling : [abstract].
Michnay Balázs; Palágyi Kálmán: Automatic vessel segmentation from CDSA image sequences : [abstract].
Muzamel Loránd: The power of deterministic alternating Tree-walking automata : [abstract].
Mészáros Mónika: Proving quality of service constraints of multimedia systems : [abstract].
Móga Rita; Polyák Tamás; Oláh István: DRM systems in wireless environment : [abstract].
Paczolay Dénes: 2D pattern repetition based lossless image compression : [abstract].
Paczolay Dénes; Bánhalmi András; Kocsor András: Robust recognition of vowels in speech impediment therapy systems : [abstract].
Palugyai Sándor; Miskolczi János: Performance modeling of hierarchical list structures : [abstract].
Pataki Norbert; Sipos Ádám; Porkoláb Zoltán: Structural complexity metrics on SDL programs : [abstract].
Payrits Szabolcs; Zólyomi István: Concept-based C++ template overload compilation with XML transformations : [abstract].
Póth Miklós: Comparison of convolution based interpolation techniques in digital image processing : [abstract].
Ráth István: Declarative mapping between concrete and abstract syntax of domain-specific visual languages : [abstract].
Szabó Richárd: Occupancy grid based robot navigation with sonar and camera : [abstract].
Szaszák György; Németh Zsolt: Word boundary detection based on phoneme sequence constraints : [abstract].
Szépkúti István: Caching in multidimensional databases : [abstract].
Teleki Csaba; Tóth Szabolcs Levente; Vicsi Klára: Testing and optimization of a continuous speech recognizer with a middle sized vocabulary : [abstract].
Tóth Dániel; Jósvai Eszter: Model-based development of graphical user interfaces : [abstract].
Tóth Krisztina; Farkas Richárd; Kocsor András: Hybrid algorithm for sentence alignment of Hungarian-English parallel corpora : [abstract].
Vasutiu Ovidiu; Vasutiu Florina: Database design patterns : [abstract].
Vidács László: Model transformations on the preprocessor metamodel : graph transformation approach : [abstract].
Vágó Dávid: Transformation and simulation of domain specific languages : [abstract].
Wu-Hen-Chang Antal; Viet Dung Le; Csopaki Gyula: High-level restructuring of TTCN-3 test suites : [abstract].
