378 search results - page 52 / 76 » From Natural Semantics to Abstract Machines |
ISM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
SPATIALCOGNITION
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
TABLEAUX
2009
Springer
14 years 4 days ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...