Sciweavers

8025 search results - page 340 / 1605
» Combinators Introduction: An Algorithm
Sort
View
CVPR
2005
IEEE
16 years 8 months ago
MER-DIMES: A Planetary Landing Application of Computer Vision
During the Mars Exploration Rovers (MER) landings, the Descent Image Motion Estimation System (DIMES) was used for horizontal velocity estimation. The DIMES algorithm combines mea...
Yang Cheng, Andrew Edie Johnson, Larry Matthies
CVPR
2007
IEEE
16 years 8 months ago
Capturing People in Surveillance Video
This paper presents reliable techniques for detecting, tracking, and storing keyframes of people in surveillance video. The first component of our system is a novel face detector ...
Rogerio Feris, Ying-li Tian, Arun Hampapur
DAC
2003
ACM
16 years 7 months ago
Making cyclic circuits acyclic
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
Stephen A. Edwards
COLT
2005
Springer
16 years 10 days ago
Leaving the Span
We discuss a simple sparse linear problem that is hard to learn with any algorithm that uses a linear combination of the training instances as its weight vector. The hardness holds...
Manfred K. Warmuth, S. V. N. Vishwanathan
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 8 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik