1154 search results - page 143 / 231 » Semantic Context Reasoning Using Ontology Based Models |
164
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
111
click to vote
IJCAI
2001
15 years 5 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
143
click to vote
ESWA
2010
15 years 3 months ago
2010
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation and interface technology with physical and virtual objects in the ubiquitous comp...
160
click to vote
WIDM
2003
ACM
15 years 9 months ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
149
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...