59 search results - page 8 / 12 » Natural Semantics and Some of Its Meta-Theory in Elf |
EACL
1989
ACL Anthology
14 years 10 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
ISW
2007
Springer
15 years 3 months ago
2007
Springer
ElGamal scheme has been the first encryption scheme based on discrete logarithm. One of its main advantage is that it is simple, natural and efficient, but also that its security ...
RTA
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...
ICDT
1995
ACM
15 years 1 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...