4485 search results - page 269 / 897 » Equivalences on Observable Processes |
129
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...
146
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
131
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...
149
click to vote
UAI
2003
15 years 5 months ago
2003
For a given problem, the optimal Markov policy over a finite horizon is a conditional plan containing a potentially large number of branches. However, there are applications wher...
131
click to vote
PTS
1998
15 years 5 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...