955 search results - page 132 / 191 » Tractable Temporal Reasoning |
109
click to vote
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The goal of this work is to build video cameras whose spatial and temporal resolutions can be changed post-capture depending on the scene. Building such cameras is diffic...
ICWSM
2010
15 years 1 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...
ENTCS
2008
14 years 12 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
109
click to vote
IGPL
2010
14 years 10 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
109
click to vote
SCP
2010
14 years 10 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...