291 search results - page 23 / 59 » Liveness-Preserving Atomicity Abstraction |
149
click to vote
TIP
2008
15 years 6 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...
178
click to vote
JUCS
2007
15 years 6 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...
150
click to vote
DLOG
2009
15 years 4 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 ...
233
click to vote
ESWS
2009
Springer
15 years 3 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...
145
click to vote
SYNTHESE
2011
15 years 1 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...