Sciweavers

2509 search results - page 128 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
206
Voted
COMPGEOM
2011
ACM
14 years 4 months ago
Comparing distributions and shapes using the kernel distance
Starting with a similarity function between objects, it is possible to define a distance metric (the kernel distance) on pairs of objects, and more generally on probability distr...
Sarang C. Joshi, Raj Varma Kommaraju, Jeff M. Phil...
EUROPAR
1997
Springer
15 years 5 months ago
A Methodology for Compilation of High-Integrity Real-Time Programs
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
Karl Lermer, Colin J. Fidge
90
Voted
SOFSEM
2000
Springer
15 years 4 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
CVPR
2007
IEEE
16 years 2 months ago
A linear estimation method for 3D pose and facial animation tracking
This paper presents an approach that incorporates Canonical Correlation Analysis (CCA) for monocular 3D face pose and facial animation estimation. The CCA is used to find the depe...
Franck Davoine, José Alonso Ybá&ntil...
87
Voted
ICPR
2004
IEEE
16 years 1 months ago
Detection of Artificial Structures in Natural-Scene Images Using Dynamic Trees
We seek a framework that addresses localization, detection and recognition of man-made objects in natural-scene images in a unified manner. We propose to model artificial structur...
Michael C. Nechyba, Sinisa Todorovic