224 search results - page 42 / 45 » Algorithms for Solving Boolean Satisfiability in Combination... |
VLSID
2005
IEEE
15 years 5 months ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
96
Voted
KDD
2007
ACM
16 years 15 hour ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
105
click to vote
PODS
2008
ACM
15 years 11 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
85
Voted
CAISE
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
119
click to vote
RT
1998
Springer
15 years 3 months ago
1998
Springer
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...