4117 search results - page 694 / 824 » On the Satisfiability of Complex Constraints |
161
click to vote
IPPS
2009
IEEE
16 years 27 days ago
2009
IEEE
As the number of cores per machine increases, memory architectures are being redesigned to avoid bus contention and sustain higher throughput needs. The emergence of Non-Uniform M...
188
click to vote
CAIP
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
187
click to vote
DIS
2009
Springer
16 years 25 days ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
145
click to vote
FMCAD
2009
Springer
16 years 25 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
191
click to vote
ICB
2009
Springer
16 years 25 days ago
2009
Springer
We propose a vector representation (called a 3D signature) for 3D face shape in biometrics applications. Elements of the vector correspond to fixed surface points in a face-centere...