12981 search results - page 576 / 2597 » Model Checking (Abstract) |
197
click to vote
EUC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
163
click to vote
UML
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
229
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
174
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
225
click to vote
SPATIALCOGNITION
2004
Springer
16 years 12 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...