Search
Now showing items 131-140 of 225
Nonlinear Latent Variable Models for Video Sequences
(2005-06-06)
Many high-dimensional time-varying signals can be modeled as a sequence of noisy nonlinear observations of a low-dimensional dynamical process. Given high-dimensional observations and a distribution describing the ...
Empirical Effective Dimension and Optimal Rates for Regularized Least Squares Algorithm
(2005-05-27)
This paper presents an approach to model selection for regularized least-squares on reproducing kernel Hilbert spaces in the semi-supervised setting. The role of effective dimension was recently shown to be crucial in the ...
Some Properties of Empirical Risk Minimization over Donsker Classes
(2005-05-17)
We study properties of algorithms which minimize (or almost minimize) empirical error over a Donsker class of functions. We show that the L2-diameter of the set of almost-minimizers is converging to zero in probability. ...
Cognitive-Developmental Learning for a Humanoid Robot: A Caregiver's Gift
(2004-09-26)
The goal of this work is to build a cognitive system for the humanoid robot, Cog, that exploits human caregivers as catalysts to perceive and learn about actions, objects, scenes, people, and the robot itself. This thesis ...
Error weighted classifier combination for multi-modal human identification
(2005-12-14)
In this paper we describe a technique of classifier combination used in a human identification system. The system integrates all available features from multi-modal sources within a Bayesian framework. The framework allows ...
Surface Reflectance Estimation and Natural Illumination Statistics
(2001-09-01)
Humans recognize optical reflectance properties of surfaces such as metal, plastic, or paper from a single image without knowledge of illumination. We develop a machine vision system to perform similar recognition tasks ...
Gait Dynamics for Recognition and Classification
(2001-09-01)
This paper describes a representation of the dynamics of human walking action for the purpose of person identification and classification by gait appearance. Our gait representation is based on simple features such as ...
Range Segmentation Using Visibility Constraints
(2001-09-01)
Visibility constraints can aid the segmentation of foreground objects observed with multiple range images. In our approach, points are defined as foreground if they can be determined to occlude some {em empty space} in the ...
Type-omega DPLs
(2001-10-16)
Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily ...
Type-alpha DPLs
(2001-10-05)
This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for ...