5015 search results - page 773 / 1003 » Model Checking a Path |
191
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
123
click to vote
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a simple solution suitable for the mandatory localization function for E-911 services specified by FCC. Our solution introduces zero-length spring technique...
208
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--We consider a set of multicast sources, each multicasting a finite amount of data to its corresponding destinations. The objective is to minimize the time to deliver all ...
160
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
201
click to vote
TDSC
2011
15 years 1 months ago
2011
High-end enterprise storage has traditionally consisted of monolithic systems with customized hardware, multiple redundant components and paths, and no single point of failure. Di...