Sciweavers

3951 search results - page 644 / 791
» Automatic amortized analysis
Sort
View
CIVR
2003
Springer
166views Image Analysis» more  CIVR 2003»
15 years 9 months ago
Evaluation of Expression Recognition Techniques
The most expressive way humans display emotions is through facial expressions. In this work we report on several advances we have made in building a system for classification of f...
Ira Cohen, Nicu Sebe, Yafei Sun, Michael S. Lew, T...
FATES
2003
Springer
15 years 9 months ago
Mutually Enhancing Test Generation and Specification Inference
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Tao Xie, David Notkin
GECCO
2003
Springer
15 years 9 months ago
Hierarchical BOA Solves Ising Spin Glasses and MAXSAT
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...
Martin Pelikan, David E. Goldberg
IBPRIA
2003
Springer
15 years 9 months ago
Underwater Cable Tracking by Visual Feedback
Nowadays, the surveillance and inspection of underwater installations, such as power and telecommunication cables and pipelines, is carried out by trained operators who, from the s...
Javier Antich, Alberto Ortiz
ICADL
2003
Springer
147views Education» more  ICADL 2003»
15 years 9 months ago
Effective Image Annotation for Search Using Multi-level Semantics
There is an increasing need of development of automatic tools to annotate images for effective image searching in digital libraries. In this paper, we present a novel probabilistic...
Pu-Jen Cheng, Lee-Feng Chien