54 search results - page 6 / 11 » Efficient decision ordering techniques for SAT-based test ge... |
106
click to vote
VLDB
2007
ACM
15 years 3 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
CG
1999
Springer
14 years 9 months ago
1999
Springer
Projective texture-mapping is a powerful tool for image-based rendering. However, visibility information must be obtained in order to project correct textures onto the geometric s...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In recent years, large amount of data modeled by graphs, namely graph data, have been collected in various domains. Efficiently processing queries on graph databases has attracted...
85
Voted
DAC
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we present DeFer -- a fast, high-quality and nonstochastic fixed-outline floorplanning algorithm. DeFer generates a non-slicing floorplan by compacting a slicing fl...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...