7335 search results - page 228 / 1467 » Scene Based Reasoning |
124
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
136
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
133
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
123
Voted
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
114
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...