187 search results - page 30 / 38 » Limits and Possibilities of BDDs in State Space Search |
77
Voted
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
SIGGRAPH
2010
ACM
15 years 1 months ago
2010
ACM
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
108
click to vote
CRV
2011
IEEE
13 years 9 months ago
2011
IEEE
—In this paper we present the computer vision component of a 6DOF pose estimation algorithm to be used by an underwater robot. Our goal is to evaluate which feature trackers enab...
BMCBI
2008
14 years 9 months ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...