Sciweavers

5409 search results - page 40 / 1082
» Basic Observables for Processes
Sort
View
CUZA
2002
84views more  CUZA 2002»
13 years 7 months ago
Testing Theories for Broadcasting Processes
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
Cristian Ene, Traian Muntean
VRST
2004
ACM
14 years 1 months ago
Observing effects of attention on presence with fMRI
Presence is one of the goals of many virtual reality systems. Historically, in the context of virtual reality, the concept of presence has been associated much with spatial percep...
Sungkil Lee, Gerard Jounghyun Kim, Janghan Lee
JSS
2008
139views more  JSS 2008»
13 years 7 months ago
Dynamic interval-based labeling scheme for efficient XML query and update processing
XML data can be represented by a tree or graph structure and XML query processing requires the information of structural relationships among nodes. The basic structural relationsh...
Jung-Hee Yun, Chin-Wan Chung
EPIA
2005
Springer
14 years 1 months ago
Acquiring Observation Models Through Reverse Plan Monitoring
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
Sonia Chernova, Elisabeth Crawford, Manuela M. Vel...
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
14 years 1 months ago
On the Observability of Bearing-only SLAM
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
Teresa Vidal-Calleja, Mitch Bryson, Salah Sukkarie...