 |
 | Vissza |
Aszalós László: A method to solve the puzzles of knights and knaves : [abstract].
Balogh Emese: Generating and reconstructing hv-convex 2-dimensional discrete set : [abstract].
Balogh J.; Csendes Tibor; Stateva R. P.: A new global optimization technique for chemical phase equilibrium problems : [abstract].
Bartha Miklós; Krész Miklós: Soliton automata and graph matchings : [abstract].
Bohus Mihály: Analysing mobility options of data communication : [abstract].
Bárány Vince; Dezső András: State space transformation : a specification language and a program generator : [abstract].
Casado Leocadio Gonzalez; Martínez J. A.; García I.; Csendes Tibor: Adaptive multisection in derivative free interval methods for global optimization : [abstract].
Csallner András Erik; Ratz D.; Klatte R.: The effects of the boxing method for interval subdivision algorithms : [abstract].
Csendes Tibor: Preface.
Csornai Gábor; Fekete István; László István: Segmentation methods based on spatial characteristics of multispectral images : [abstract].
Dudásné Nagy Marianna; Klári Béla; Eörs Máté: Generation of normal control data for the evaluation of myocardial perfusion studies : [abstract].
Farkas Károly; Balogh Zoltán; Villför Henrik: IP traffic engineering over OMP technique : [abstract].
Farkas Lóránt; Nagy Lajos: Wireless application protocol performance testing : [abstract].
Fazakas Antal: Auto case test selection from WAP test suites : [abstract].
Felvégi Péter A.: Low complexity parametrized codes for LZ77 compression : [abstract].
Frohner Ákos; Porkoláb Zoltán; Varga László: Code generation from UML models : [abstract].
Garzón E. M.; García I.: Parallel implementation of the large sparse and symmetric eigenproblem : [abstract].
Gesztesi Gábor: Optimizing object location in mobile distributed object systems : [abstract].
Gombos László: Automatic code generation from SDL to a functional programming language for safety critical systems : [abstract].
González-Linares J. M.; Ortigosa Pilar M.; Guil N.; García I.: Parallelization of an algorithm for non rigid objects detection with stochastic global optimization : [abstract].
Gulyás László: The history of software localization : [abstract].
Gyenesei Attila: A fuzzy approach for mining interesting quantitative association rules : [abstract].
Gőgös Barnabás: Automatic test purpose generation based on formal grammar representation of communication protocols : [abstract].
Halmai Csongor; Erdőhelyi Balázs; Ollé Krisztián; Kuba Attila: New results in 3D surface reduction : [abstract].
Harmath László; Szilágyi Gyöngyi; Gyimóthy Tibor: Debug slicing of logic programs : [abstract].
Harmati István; Kiss Bálint: Motion planning algorithms for stratified kinematic systems with application to the hexapod robot : [abstract].
Herendi Tamás: Uniform distribution of linear recurrence sequences in residue class systems : [abstract].
Heszberger Zalán; Bíró József; Zátonyi János: Efficient CAC algorithms based on the tail distribution of aggregate traffic : [abstract].
Hornák Zoltán; Selényi Endre: Effective virus scanning algorithms : [abstract].
Horváth Endre; Manthey Axel: GPRS function test using TTCN : [abstract].
Horváth Zoltán; Zsók Viktória; Serrarens Pascal; Plasmeijer Rinus: Parallel functional reactive skeletons in concurrent clean : [abstract].
Hosszú József: Discrete simulation of distributed systems : performance evaluation of a notification channel federation : [abstract].
Huszerl Gábor: Dynamic analysis of UML statemachines : [abstract].
Imreh Csanád: On a two class on-line classification problem : [abstract].
Jelasity Márk; Tóth Boglárka; Vinkó Tamás: Measuring hardness of problems in evolutionary computations using Markov-processes : [abstract].
Jovanovic Radmila; Radovic Ognjen: Predicting exchange rate by neural networks : [abstract].
Jánvári Gusztáv: Strategy selection in the resolution theory : [abstract].
Katsányi István: Sets of numbers in different number systems and the Chomsky hierarchy : [abstract].
Keresztfalvi László: Mobile technologies and future health-care : [abstract].
Kiss Krisztián: SIP or H.323 : Which call control protocol is more suitable for the 3G UMTS all-IP network? : [abstract].
Koch György; Dombi József: New clustering procedures in respect of practical realization : [abstract].
Kocsor András; Tóth László; Kuba András: Phoneme classification using Kernel principal component analysis : [abstract].
Kovačević Jelena: Quasi-orders on automata : [abstract].
Martínez J. A.; Casado Leocadio Gonzalez; García I.; Sergeyev Ya.D.: Search space reduction criterion based on derivatives in global optimization algorithms : [abstract].
Minh Son Tran; Marosi Gyula; Gschwindt András: Case study of SIRDS algorithms based autostereoscopic image : [abstract].
Nyúl László G.; Udupa Jayaram K.: Standardizing the MR image intensity scale and its applications : [abstract].
Németh Zsolt: Definition of a parallel execution model with abstract state machines : [abstract].
Ortigosa E. M.; Romero L. F.; Ramos J. I.: Parallel simulation of spiral waves in reacting and diffusing media : [abstract].
Palágyi Kálmán: A 3D directional shrinking algorithm : [abstract].
Pap Zsigmond: Static specification completeness checking of UML state machines : [abstract].
Podhorszki Norbert: Application-level semi-on-line monitoring of VisualMP applications on clusters of workstations : [abstract].
Popović Zarko: Congruences on finite automata : [abstract].
Putnik Zoran; Grabovac Marijana: Extension of Java with Turtle graphics : [abstract].
Rotter Csaba V.: Formal grammars in conformance testing : [abstract].
Somlai G.; Sógor L.; Martonossy L.; Fidrich Márta; Dikán G.; Tarjányi T.; Hendlein P.; Bohus Mihály: Test of inter-working and translation mechanisms between IPv4 and IPv6 : [abstract].
Szabó P. G.; Tóth B.; Vinkó Tamás: Optimal disk packings in the square : [abstract].
Szépkúti István: On the scalability of multidimensional databases : [abstract].
Szűcs László; Pécsy Gábor: Parallel verification and enumeration of tournaments : [abstract].
Sára Levente: Dynamic simulations : [abstract].
Tanács Attila: Investigation of point-based image registration methods assuming rigid-body and linear motions : [abstract].
Tran Hung T.; Do Tien V.: Generalised subspace based method for steady state analysis of QBD-M processes : [abstract].
Ulbert Attila; Hof Markus: Time independent invocation in Java CMS : [abstract].
Vályi Sándor: About the axiomatization of first- and second-order spatio-temporal logics : [abstract].
Zsiros Ákos: Learning decision trees in continuous space : [abstract].
Zvada Szilvia; Gyimóthy Tibor: Using decision trees to infer semantic functions of attribute grammars : [abstract].
