10435 search results - page 260 / 2087 » Computational Biology and Language |
167
click to vote
APLAS
2006
ACM
16 years 19 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
188
click to vote
PADL
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
151
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
157
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
129
click to vote
IFIP
2003
Springer
2003
Springer
Mobile Ad Hoc Communication Issues in Ubiquitous Computing - The Smart-Its Experimentation Platforms
15 years 12 months ago
