9067 search results - page 1628 / 1814 » Adaptive Model Checking |
219
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 ...
199
click to vote
3DPVT
2006
IEEE
16 years 1 months 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...
197
click to vote
CCGRID
2006
IEEE
16 years 1 months 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...
230
click to vote
CW
2006
IEEE
16 years 1 months 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...
185
click to vote
GLOBECOM
2006
IEEE
16 years 1 months 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...