1615 search results - page 54 / 323 » What's new |
KR
2000
Springer
14 years 1 months ago
2000
Springer
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
PDPTA
1996
13 years 11 months ago
1996
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
APAL
2006
13 years 9 months ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
CARDIS
2004
Springer
14 years 3 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...