Sciweavers

787 search results - page 31 / 158
» Fully procedural graphics
Sort
View
ICANN
2001
Springer
13 years 12 months ago
Clustering of EEG-Segments Using Hierarchical Agglomerative Methods and Self-Organizing Maps
EEG segments recorded during microsleep events were transformed to the frequency domain and were subsequently clustered without the common summation of power densities in spectral ...
David Sommer, Martin Golz
LPAR
2010
Springer
13 years 5 months ago
Interpolating Quantifier-Free Presburger Arithmetic
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
Daniel Kroening, Jérôme Leroux, Phili...
ICML
2006
IEEE
14 years 8 months ago
Efficient MAP approximation for dense energy functions
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
Marius Leordeanu, Martial Hebert
SIBGRAPI
1999
IEEE
13 years 11 months ago
An Image Processing and Belief Network Approach to Face Detection
This work describes an approach for face detection, which is the rst stage of any fully automatedhumanface recognition system. We propose several enhancements to a feature-based ap...
Paulo Sérgio de Souza Coelho, Claudio Esper...
AMDO
2006
Springer
13 years 11 months ago
A Spatio-temporal Metric for Dynamic Mesh Comparison
A new approach to comparison of dynamic meshes based on Hausdorff distance is presented along with examples of application of such metric. The technique presented is based on repre...
Libor Vása, Václav Skala