10715 search results - page 1785 / 2143 » From Tests to Proofs |
178
click to vote
IVC
2006
15 years 6 months ago
2006
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
210
click to vote
JMM2
2008
15 years 6 months ago
2008
The design of virtual reality user interfaces (VRUI) is still an open field of research and development. One category of VRUI is the 3D floating menus that can be manipulated by us...
182
click to vote
JAIR
2006
15 years 6 months ago
2006
In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either e...
160
click to vote
JPDC
2008
15 years 6 months ago
2008
We present a scalable framework for parallelizing greedy graph coloring algorithms on distributed-memory computers. The framework unifies several existing algorithms and blends a ...
170
click to vote
JCM
2006
15 years 6 months ago
2006
Decentralized sensor networks are collections of individual local sensors that observe a common phenomenon, quantize their observations, and send this quantized information to a ce...