10622 search results - page 523 / 2125 » Python Programming Language |
191
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
188
click to vote
ESORICS
2005
Springer
16 years 20 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
182
click to vote
ECAI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
150
click to vote
MPC
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
185
click to vote
CICLING
2003
Springer
16 years 11 days ago
2003
Springer
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...