7134 search results - page 1041 / 1427 » A comparative study of map use |
183
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
167
click to vote
IWEC
2008
15 years 8 months ago
2008
Surround displays are used in simulation, training, and other applications based on virtual worlds. A wide-view display engages the viewer's peripheral vision, providing a mor...
180
click to vote
LREC
2008
15 years 8 months ago
2008
Multilingual Automatic Speech Recognition (ASR) systems are of great interest in multilingual environments. We studied the case of the Comunitat Valenciana where the two official ...
178
click to vote
FLAIRS
2004
15 years 8 months ago
2004
In the recent years, CSP's have come to be seen as the core problem in many applications. We propose here a hybrid algorithm (MC-FC) that combines two different search method...
157
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Larger display surfaces are becoming increasingly available due to multi-monitor capability built into many systems, in addition to the rapid decrease in their costs. However, li...