4106 search results - page 588 / 822 » A Computational Model for Metric Spaces |
140
Voted
CAGD
2007
15 years 6 months ago
2007
We present a family of discrete isometric bending models (IBMs) for triangulated surfaces in 3-space. These models are derived from an axiomatic treatment of discrete Laplace oper...
160
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
176
click to vote
TASLP
2008
15 years 6 months ago
2008
We present a computer audition system that can both annotate novel audio tracks with semantically meaningful words and retrieve relevant tracks from a database of unlabeled audio c...
187
click to vote
JIRS
2007
15 years 6 months ago
2007
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
181
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
The aim of color constancy is to remove the effect of the
color of the light source. As color constancy is inherently
an ill-posed problem, most of the existing color constancy
...