4229 search results - page 531 / 846 » On the Optimality of Spiral Search |
159
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
159
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new randomized sorting algorithm on the Bulk-SynchronousParallel (BSP) model. The algorithm improves upon the parallel slack of previous algorithms to achieve optimal...
154
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
197
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a linear genetic programming approach, that solves simultaneously the region selection and feature extraction tasks, that are applicable to common image recogni...
206
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
New optimization techniques, e. g., in data stream management systems (DSMSs), make the treatment of disjunctive predicates a necessity. In this paper, we introduce and compare me...