1052 search results - page 112 / 211 » The Regular Real-Time Languages |
143
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
After being a pilot track in 2005, GeoCLEF advanced to be a regular track within CLEF 2006. The purpose of GeoCLEF is to test and evaluate cross-language geographic information ret...
134
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
125
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
XML documents may contain a large diversity of characters. The Character Repertoire Validation for XML (CRVX) language is a simple schema language for specifying character reperto...
128
click to vote
ALT
2006
Springer
16 years 24 days ago
2006
Springer
Higman showed that if A is any language then SUBSEQ(A) is regular, where SUBSEQ(A) is the language of all subsequences of strings in A. We consider the following inductive inferenc...
120
click to vote
DNA
2007
Springer
15 years 10 months ago
2007
Springer
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...