886 search results - page 31 / 178 » Reasoning with contextual graphs |
130
click to vote
IAT
2010
IEEE
14 years 12 months ago
2010
IEEE
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
111
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
88
Voted
RE
2007
Springer
15 years 8 months ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
113
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
People sometimes appear to build analogical representations in order to reason about graphical information. In this paper we consider the extent to which the tendency to represent ...