1511 search results - page 196 / 303 » Relational Parametricity for Computational Effects |
175
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We propose a novel and efficient method for generic arbitraryview object class detection and localization. In contrast to existing singleview and multi-view methods using...
139
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose a competitive finite mixture of neurons (or perceptrons) for solving binary classification problems. Our classifier includes a prior for the weights between different n...
183
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper describes a new method to recover the sign of the local Gaussian curvature at each point on the visible surface of a 3-D object. Multiple (p > 3) shaded images are a...
140
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper examines a visual design element unique to situated, hot-spot style, services: locativeness. This is the extent to which the media representing a service relates to its...
167
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...