Sciweavers

1959 search results - page 253 / 392
» A data model for adaptive multi-resolution scientific data
Sort
View
COLT
1995
Springer
15 years 1 months ago
Regression NSS: An Alternative to Cross Validation
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
Michael P. Perrone, Brian S. Blais
ICIP
2003
IEEE
15 years 11 months ago
Transductive inference for color-based particle filter tracking
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...
Jiang Li, Chin-Seng Chua
TPHOL
2008
IEEE
15 years 4 months ago
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
Lukas Bulwahn, Alexander Krauss, Florian Haftmann,...
ICRA
2006
IEEE
81views Robotics» more  ICRA 2006»
15 years 4 months ago
Hardware-in-the-loop Test Rig for Designing Near-earth Aerial Robotics
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...
Vefa Narli, Paul Y. Oh
ICIAR
2004
Springer
15 years 3 months ago
Three-Dimensional Face Recognition: A Fishersurface Approach
Previous work has shown that principal component analysis (PCA) of three-dimensional face models can be used to perform recognition to a high degree of accuracy. However, experimen...
Thomas Heseltine, Nick Pears, Jim Austin