189 search results - page 26 / 38 » Efficient Representation of Adhoc Constraints |
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
A novel region-based progressive stereo matching algorithm is presented. It combines the strengthes of previous region-based and progressive approaches. The progressive framework ...
ICSEA
2006
IEEE
14 years 3 months ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
CAV
2004
Springer
14 years 1 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. ...
ACL
2010
13 years 7 months ago
2010
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...