220 search results - page 17 / 44 » Time, tense, truth |
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
142
click to vote
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
130
click to vote
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a viewpoint-based approach for the quick fusion of multiple stereo depth maps. Our method selects depth estimates for each pixel that minimize violations of visibility ...
ALGORITHMICA
2010
14 years 10 months ago
2010
We study the equilibrium behavior of informed traders interacting with market scoring rule (MSR) market makers. One attractive feature of MSR is that it is myopically incentive com...
MMM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In applications such as video post-production users are confronted with large amounts of redundant unedited raw material, called rushes. Viewing and organizing this mater...