2476 search results - page 298 / 496 » Faceted Knowledge Representation |
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
163
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
159
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
160
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
130
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...