537 search results - page 30 / 108 » Extended directed triple systems |
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
VR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we introduce a virtual locomotion system that allows navigation within any large-scale virtual environment (VE) by real walking. In contrast to [5] we have developed...
VR
2011
IEEE
12 years 11 months ago
2011
IEEE
When viewed from below, a user’s feet cast shadows onto the floor screen of an under-floor projection system, such as a sixsided CAVE. Tracking those shadows with a camera provi...
ICALP
1999
Springer
13 years 12 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper describes a method that provides an estimated location of an outdoor vehicle relative to a digital road map using Belief Theory and Kalman filtering. Firstly, an Exten...