Acta Cybernetica, Volume 16

Volume 16, Number 1, 2003

Zoltán Ésik, Masami Ito:
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. 1-28
Juha Honkala:
On D0L systems with finite axiom sets. 29-35
Balázs Imreh, Csanád Imreh, Masami Ito:
On directable nondeterministic trapped automata. 37-45
Leah Epstein:
On variable sized vector packing. 47-56
Leah Epstein, Lene M. Favrholdt:
On-Line Maximizing the Number of Items Packed in Variable-Sized Bins. 57-66
Benedek Nagy:
SW-type puzzles and their graphs. 67-82
Jerzy Mycka:
Infinite limits and R-recursive functions. 83-91
Jixue Liu, Millist W. Vincent:
Derivation of Incremental Equations for PNF Nested Relations. 93-131
András Hajdu, Lajos Hajdu:
Velocity and Distance of Neighbourhood Sequences. 133-145
Cristian Vidrascu:
Modelling a Sender-Receiver System. 147-154
Shichao Zhang, Chengqi Zhang:
Discovering Associations in Very Large Databases by Approximating. 155-177
Shichao Zhang, Li Liu:
Mining Dynamic databases by Weighting. 179-205

Tim Fühner, Gabriella Kókai:
Incorporating Linkage Learning into the GeLog Framework. 209-228
Gábor Gosztolya, András Kocsor, László Tóth:
Various Robust Search Methods in a Hungarian Speech Recognition System. 229-240
Dávid Hanák:
Implementing Global Constraints as Graphs of Elementary Constraints. 241-258
István Katsányi:
On Implementing Relational Databases on DNA Strands. 259-270
Kornél Kovács, András Kocsor:
Various Hyperplane Classifiers Using Kernel Feature Spaces. 271-278
Balázs Polgár, Endre Selényi:
Probabilistic Diagnostics with P-Graphs. 279-291
Raluca Oana Scarlatescu:
Programming by steps. 293-314
Paula Steinby:
Two Content Protection Schemes for Digital Items. 315-326
Attila Tanács, Attila Kuba:
Evaluation of a Fully Automatic Medical Image Registration Algorithm Based on Mutual Information. 327-336
Zoltán Tóth:
A Graphical User Interface for Evolutionary Algorithms. 337-365

Elena Calude, Bruce Mills, Lan Mills:
A Uniform Approach to Test Computational Complementarity. 367-384
Alexander Meduna:
Two-Way Metalinear PC Grammar Systems and Their Descriptional Complexity. 385-397
Attila Nagy:
Retractable state-finite automata without outputs. 399-409
Reinhard Pöschel, Alexander Semigrodskikh, Heiko Vogler:
Relationally defined clones of tree functions closed under selection or primitive recursion. 411-425
Isto Aho:
Notes on the properties of dynamic programming used in direct load control. 427-441
Gerzson Kéri, Ákos Kisvölcsey:
On Computing the Hamming Distance. 443-449
András Pluhár:
The Recycled Kaplansky's Game. 451-458
Sebastian Link, Klaus-Dieter Schewe:
Distance Functional Dependencies in the Presence of Complex Values. 459-472
Vu Duc Thi, Nguyen Hoang Son:
Some Problems Related to Keys and the Boyce-Codd Normal Form. 473-483
Nghia D. Vu:
Relationships Between Closure Operations and Choice Functions - Equivalent Descriptions of a Family of Functional Dependencies. 485-506

Björn Borchardt:
A Pumping Lemma and Decidability Problems for Recognizable Tree Series. 509-544
Ljubomir Cvetkovic:
An addition to the methods of test determination for fault detection in combinational circuits. 545-566
Zoltán L. Németh:
A Hierarchy Theorem for Regular Languages over Free Bisemigroups. 567-577
Nándor Sieben:
Hexagonal polyomino weak (1, 2)-achievement games. 579-585
Gábor Alberti, Judit Kleiber, Anita Viszket:
GeLexi project: Sentence Parsing Based on a GEnerative LEXIcon1. 587-600
János Bácsi:
A Semantic Network Dictionary for Dysphasia Therapy. 601-609
András Hócza:
Noun Phrase Recognition with Tree Patterns1. 611-623
Gábor Tatai, László Laufer:
Extraction of Affective Components from Texts and Their Use in Natural Language Dialogue Systems. 625-642
László Tóth, András Kocsor, Gábor Gosztolya:
Telephone Speech Recognition via the Combination of Knowledge Sources in a Segmental Speech Model. 643-657
Gyula Zsigri, András Kocsor, László Tóth, Györgyi Sejtes:
Phonetic Level Annotation and Segmentation of Hungarian Speech Databases. 659-673