1791 search results - page 43 / 359 » Two Types of Multiple-Conclusion Systems |
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
BIOADIT
2004
Springer
14 years 1 months ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Two different operating system types are currently considered for sensor networks: event driven and multithreaded. This paper compares the two well-known operating systems TinyOS ...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
ICICS
2001
Springer
14 years 2 days ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...