5695 search results - page 400 / 1139 » Using Many Cameras as One |
200
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
198
click to vote
ASUNAM
2010
IEEE
15 years 9 months ago
2010
IEEE
The last decade has seen an explosion in blogging and the blogosphere is continuing to grow, having a large global reach and many vibrant communities. Researchers have been pouring...
228
click to vote
AAAI
1993
15 years 9 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
349
click to vote
IWOMP
2011
Springer
14 years 10 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
255
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
This paper presents a novel approach to skim and describe 3D videos. 3D video is an imaging technology which consists in a stream of 3D models in motion captured by a synchronized ...