Vol. 18 No. 3 (2008)

Regular articles

• Programming language elements for correctness proofs

  Gergely Dévai

  403-425

  • PDF

• Two new approximation algorithms for the maximum planar subgraph problem

  Timo Poranen

  503-527

  • PDF

• An on-line speaker adaptation method for HMM-based speech recognizers

  András Bánhalmi, András Kocsor

  379-390

  • PDF

• Sentence alignment of Hungarian-English parallel corpora using a hybrid algorithm

  Krisztina Tóth, Richárd Farkas, András Kocsor

  463-478

  • PDF

• Preface

  Tibor Csendes

  363-365

  • PDF

• Pebble alternating tree-walking automata and their recognizing power

  Loránd Muzamel

  427-450

  • PDF

• Keys and Armstrong databases in trees with restructuring

  Attila Sali, Klaus-Dieter Schewe

  529-556

  • PDF

• Extracting human protein information from MEDLINE using a full-sentence parser

  Róbert Busa-Fekete, András Kocsor

  391-402

  • PDF

• A new concept of effective regression test generation in a C++ specific environment

  Mihály Biczó, Krisztián Pócza, István Forgács, Zoltán Porkoláb

  481-501

  • PDF

• On the ambiguity of reconstructing hv-convex binary matrices with decomposable configurations

  Péter Balázs

  367-377

  • PDF

• Robust clustering - based realtime vowel recognition

  Dénes Paczolay, András Bánhalmi, András Kocsor

  451-462

  • PDF