3827 search results - page 162 / 766 » The Epsilon Generation Language |
170
click to vote
GW
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
126
click to vote
CLEF
2003
Springer
15 years 10 months ago
2003
Springer
The aim of this project is the automatic conversion of query terms in one language into their equivalents in a second, historically related, language, so that documents in the sec...
141
Voted
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
162
click to vote
FAC
2010
15 years 2 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
126
Voted
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...