376 search results - page 59 / 76 » Developing Theories of Types and Computability via Realizabi... |
JLP
2006
13 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
KER
2007
13 years 7 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
HAPTICS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose a stretchable large area sensor skin based on Two-Dimensional Signal Transmission (2DST) technology. A small tactile sensor chip with stable non-contact ...
EPEW
2005
Springer
14 years 1 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
SIGIR
1998
ACM
13 years 11 months ago
1998
ACM
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...