2440 search results - page 172 / 488 » Abstraction Learning |
116
Voted
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
124
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
152
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a novel representation, called Multiscale Block Local Binary Pattern (MB-LBP), and apply it to face recognition. The Local Binary Pattern (LBP) ...
122
click to vote
RE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Traceability from requirements to code is mandated by numerous software development standards. These standards, however, are not explicit about the appropriate level of q...
129
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Tying suture knots is a time-consuming task performed frequently during Minimally Invasive Surgery (MIS). Automating this task could greatly reduce total surgery time f...