1614 search results - page 206 / 323 » Planning as Temporal Reasoning |
136
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
This paper is concerned with coordinated delivery of messages in sensor networks. The notion of multicast is re-examined in light of a new set of requirements that are specific t...
159
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
173
click to vote
ECCV
2010
Springer
15 years 8 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...
180
click to vote
ICWSM
2010
15 years 8 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...
161
click to vote
ENTCS
2008
15 years 6 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...