9067 search results - page 1628 / 1814 » Adaptive Model Checking |
196
click to vote
WEA
2007
Springer
16 years 1 months ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...
177
click to vote
3DPVT
2006
IEEE
16 years 29 days ago
2006
IEEE
In this paper, we propose a method for 3D-model retrieval from one or more photos. This method provides an ”optimal” selection of 2D views to represent a 3D-model, and a proba...
190
click to vote
CCGRID
2006
IEEE
16 years 29 days ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
210
click to vote
CW
2006
IEEE
16 years 29 days ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
174
click to vote
GLOBECOM
2006
IEEE
16 years 28 days ago
2006
IEEE
— Reducing energy consumption has been a recent focus of wireless sensor network research. Topology control explores the potential that a dense network has for energy savings. On...