205 search results - page 6 / 41 » Testing the Equivalence of Regular Languages |
105
click to vote
BIBE
2006
IEEE
15 years 3 months ago
2006
IEEE
The analysis of alignments of functionally equivalent proteins can reveal regularities such as correlated positions or residue patterns which are important to ensure a specific f...
ENTCS
2007
14 years 9 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
72
Voted
FUIN
2007
14 years 9 months ago
2007
Intercodes are a generalization of comma-free codes. Using the structural properties of finite-state automata recognizing an intercode we develop a polynomial-time algorithm for d...
ACL
2006
14 years 10 months ago
2006
This paper presents a new approach based on Equivalent Pseudowords (EPs) to tackle Word Sense Disambiguation (WSD) in Chinese language. EPs are particular artificial ambiguous wor...
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...