1420 search results - page 211 / 284 » Representation of Graphs by OBDDs |
128
click to vote
GBRPR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
100
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
Non-rectangular (rectilinear) shape occurs very often in deep submicron floorplanning. Most previous algorithms are designed to handle only convex rectilinear blocks. However, han...
139
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
108
click to vote
DGCI
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we address the problem of vectorization of binary images on irregular isothetic grids. The representation of graphical elements by lines is common in document analys...
104
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...