Sciweavers

1914 search results - page 257 / 383
» Evaluation of a Catalytic Search Algorithm
Sort
View
131
Voted
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
15 years 10 months ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...
DASFAA
2009
IEEE
133views Database» more  DASFAA 2009»
15 years 10 months ago
Probabilistic Ranking in Uncertain Vector Spaces
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...
Thomas Bernecker, Hans-Peter Kriegel, Matthias Ren...
BPM
2009
Springer
116views Business» more  BPM 2009»
15 years 10 months ago
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
Chen Li, Manfred Reichert, Andreas Wombacher
ICCV
2007
IEEE
15 years 10 months ago
PEYE: Toward a Visual Motion Based Perceptual Interface for Mobile Devices
We present the architecture and algorithm design of a visual motion based perceptual interface for mobile devices with cameras. In addition to motion vector, we use the term “vis...
Gang Hua, Ting-Yi Yang, Srinath Vasireddy
GECCO
2007
Springer
187views Optimization» more  GECCO 2007»
15 years 10 months ago
Defining implicit objective functions for design problems
In many design tasks it is difficult to explicitly define an objective function. This paper uses machine learning to derive an objective in a feature space based on selected examp...
Sean Hanna