1355 search results - page 172 / 271 » Alternating Timed Automata over Bounded Time |
106
Voted
DAGSTUHL
2008
15 years 5 months ago
2008
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficient...
116
Voted
IJCAI
2007
15 years 4 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
134
Voted
NETWORKING
2007
15 years 4 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
105
click to vote
COR
2006
15 years 3 months ago
2006
This paper presents a new generic filtering algorithm which simultaneously considers n conjunctions of constraints as well as those constraints mentioning some variables Yk of the...
163
Voted
KES
2006
Springer
15 years 3 months ago
2006
Springer
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...