4595 search results - page 567 / 919 » Reasoning about Plans |
166
click to vote
POLICY
2004
Springer
16 years 6 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
165
click to vote
PRIMA
2004
Springer
16 years 6 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
201
Voted
ROBOCUP
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
157
Voted
UML
2004
Springer
16 years 6 days ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
177
click to vote
ECCV
2010
Springer
16 years 6 days ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...