875 search results - page 99 / 175 » On Reachability Under Uncertainty |
170
click to vote
ICASSP
2008
IEEE
16 years 9 days ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
153
click to vote
ROBOCOMM
2007
IEEE
16 years 4 days ago
2007
IEEE
—This paper presents a communication/coordination/ processing architecture for distributed adaptive observation of a spatial field using a fleet of autonomous mobile sensors. O...
146
click to vote
TARK
2007
Springer
15 years 12 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
151
click to vote
CPAIOR
2010
Springer
15 years 10 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
142
click to vote
CGI
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...