233 search results - page 25 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
APAL
2005
13 years 7 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
CLOR
2006
13 years 11 months ago
2006
Abstract. We consider the problem of detecting a large number of different classes of objects in cluttered scenes. We present a learning procedure, based on boosted decision stumps...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
CCGRID
2009
IEEE
13 years 11 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Face annotation technology is important for a photo management system. In this paper, we propose a novel interactive face annotation framework combining unsupervised and interacti...