Sciweavers

2638 search results - page 367 / 528
» Random Geometric Complexes
Sort
View
VTS
1995
IEEE
94views Hardware» more  VTS 1995»
15 years 10 months ago
Synthesis of locally exhaustive test pattern generators
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
Günter Kemnitz
VLDB
1991
ACM
134views Database» more  VLDB 1991»
15 years 10 months ago
Extending the Search Strategy in a Query Optimizer
In order to cope efficiently with simple or complex queries as well as different application requirements (e.g., ad-hoc versus repetitive queries), a query optimizer ought to supp...
Rosana S. G. Lanzelotte, Patrick Valduriez
DCC
2010
IEEE
15 years 9 months ago
On the Adaptive Coefficient Scanning of JPEG XR/HD Photo
We explore several local and global strategies for adaptive scan ordering of transform coefficients in JPEG XR/HD Photo. This codec applies a global adaptive scan-order heuristic ...
Vanessa Testoni, Max H. M. Costa, Darko Kirovski, ...
GECCO
2009
Springer
129views Optimization» more  GECCO 2009»
15 years 9 months ago
Evolutionary functional testing of continuous control systems
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
Andreas Windisch, Felix Lindlar, Sebastian Topuz, ...
AAAI
2008
15 years 8 months ago
Backdoor Trees
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...
Marko Samer, Stefan Szeider