291 search results - page 23 / 59 » Liveness-Preserving Atomicity Abstraction |
TIP
2008
14 years 11 months ago
2008
Abstract--This paper addresses the problem of efficient representation of scenes captured by distributed omnidirectional vision sensors. We propose a novel geometric model to descr...
106
click to vote
JUCS
2007
14 years 11 months ago
2007
Abstract: Ranking is a ubiquitous requirement whenever we confront a large collection of atomic or interrelated artifacts. This paper elaborates on this issue for the case of RDF s...
DLOG
2009
14 years 9 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
132
click to vote
ESWS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
SYNTHESE
2011
14 years 6 months ago
2011
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...