520 search results - page 72 / 104 » Reductions Between Expansion Problems |
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
COMPGEOM
2004
ACM
14 years 19 days ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
SODA
2008
ACM
13 years 10 months ago
2008
ACM
This paper considers a general setting for structured procurement and the problem a buyer faces in designing a procurement mechanism to maximize profit. This brings together two a...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Computational representation of perceived image quality is a fundamental problem in computer vision and image processing, which has assumed increased importance with the growing r...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
An intelligent robot is required for natural interaction with humans. Visual interpretation of gestures can be useful in accomplishing natural Human-Robot Interaction (HRI). Previ...