Sciweavers

44651 search results - page 437 / 8931
» Generalized
Sort
View
CONCUR
2004
Springer
15 years 10 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
DIAL
2004
IEEE
170views Image Analysis» more  DIAL 2004»
15 years 10 months ago
A General System for the Retrieval of Document Images from Digital Libraries
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...
Simone Marinai, Emanuele Marino, Francesca Cesarin...
CICLING
2006
Springer
15 years 10 months ago
A General and Multi-lingual Phrase Chunking Model Based on Masking Method
Several phrase chunkers have been proposed over the past few years. Some state-of-the-art chunkers achieved better performance via integrating external resources, e.g., parsers and...
Yu-Chieh Wu, Chia-Hui Chang, Yue-Shi Lee
CIE
2006
Springer
15 years 10 months ago
Can General Relativistic Computers Break the Turing Barrier?
István Németi, Hajnal Andréka