10575 search results - page 500 / 2115 » T2Script Programming Language |
179
click to vote
HASKELL
2006
ACM
16 years 23 days 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...
175
click to vote
ESORICS
2005
Springer
16 years 10 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...
169
click to vote
ECAI
2004
Springer
16 years 6 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...
143
click to vote
MPC
2004
Springer
16 years 5 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...
170
Voted
CICLING
2003
Springer
16 years 1 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...