940 search results - page 105 / 188 » Local rely-guarantee reasoning |
100
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
94
Voted
SCALESPACE
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...
108
Voted
ICIA
2007
2007
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
15 years 3 months ago
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
96
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
82
Voted
COLING
2008
15 years 2 months ago
2008
In Semantic Role Labeling (SRL), arguments are usually limited in a syntax subtree. It is reasonable to label arguments locally in such a sub-tree rather than a whole tree. To ide...