6978 search results - page 1190 / 1396 » On Proofs in System P |
AAMAS
1999
Springer
13 years 10 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
TIP
2002
13 years 10 months ago
2002
Dynamic magnetic resonance imaging (MRI) refers to the acquisition of a sequence of MRI images to monitor temporal changes in tissue structure. In this paper we present a method fo...
VR
2002
IEEE
13 years 10 months ago
2002
IEEE
: When simulating self-motion, virtual reality designers ignore non-visual cues at their peril. But providing non-visual cues presents significant challenges. One approach is to ac...
TROB
2008
13 years 10 months ago
2008
We describe a novel method for discovering and incorporating higher level map structure in a real-time visual SLAM system. Previous approaches use sparse maps, populated by isolate...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...