762 search results - page 71 / 153 » Intercode Regular Languages |
133
click to vote
EUROCRYPT
1999
Springer
15 years 8 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
120
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
146
Voted
CLEF
2006
Springer
15 years 8 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...
135
click to vote
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...
129
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...