283 search results - page 23 / 57 » Error Detection Using BMC in a Parallel Environment |
CW
2004
IEEE
13 years 11 months ago
2004
IEEE
Technological limitations on current interfaces have made researches to develop new devices to interact with objects in the virtual environment. The goal of this project is to dev...
COLING
2002
13 years 7 months ago
2002
We describe a parser for robust and flexible interpretation of user utterances in a multi-modal system for web search in newspaper databases. Users can speak or type, and they can...
VRCAI
2006
ACM
14 years 1 months ago
2006
ACM
Shadowing effects dramatically enhance the realism of virtual environments by providing useful visual cues. Shadow mapping is an efficient algorithm for real-time shadow renderin...
GRID
2007
Springer
14 years 2 months ago
2007
Springer
— Today’s system monitoring tools are capable of detecting system failures such as host failures, OS errors, and network partitions in near-real time. Unfortunately, the same c...
DCOSS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The optimal allocation of samples for activity-level detection in a wireless body area network for health-monitoring applications is considered. A wireless body area netw...