3982 search results - page 524 / 797 » Learning to Recognize Objects |
153
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
150
click to vote
MCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract Investigating a data set of the critical size makes a classification task difficult. Studying dissimilarity data refers to such a problem, since the number of samples equa...
114
click to vote
VLDB
2000
ACM
15 years 7 months ago
2000
ACM
This demonstration illustrates how a comprehensive database reconciliation tool can provide the ability to characterize data-quality and data-reconciliation issues in complex real...
162
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
146
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Detection, tracking, segmentation and pose estimation of people in monocular images are widely studied. Two-dimensional models of the human body are extensively used, however, they...