209 search results - page 33 / 42 » Speeding Up Constraint Propagation |
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
VLDB
2002
ACM
14 years 8 months ago
2002
ACM
The view selection problem is to choose a set of views to materialize over a database schema, such that the cost of evaluating a set of workload queries is minimized and such that ...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— Accurate estimation of worst-case crosstalk effects is critical for a realistic estimation of the worst-case behavior of deep sub-micron circuits. Crosstalk analysis models usu...
ABIALS
2008
Springer
14 years 2 months ago
2008
Springer
Grasping an object successfully implies avoiding colliding into it before the hand is closed around the object. The present study focuses on prehension kinematics that typically re...
CIRA
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents an automatic object detection and tracking algorithm by using particle swarm optimization (PSO) based method, which is a searching algorithm inspired by the ...