Sciweavers

4276 search results - page 223 / 856
» Techniques for Empirical Validation
Sort
View
SAS
2007
Springer
16 years 22 days ago
Semantics-Based Transformation of Arithmetic Expressions
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
Matthieu Martel
ICRA
2005
IEEE
129views Robotics» more  ICRA 2005»
16 years 6 days ago
Dynamic Programming in Reduced Dimensional Spaces: Dynamic Planning For Robust Biped Locomotion
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
Mike Stilman, Christopher G. Atkeson, James Kuffne...
GW
2005
Springer
173views Biometrics» more  GW 2005»
16 years 4 days ago
Deixis: How to Determine Demonstrated Objects Using a Pointing Cone
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
Alfred Kranstedt, Andy Lücking, Thies Pfeiffe...
CAEPIA
2003
Springer
15 years 12 months ago
Using the Geometrical Distribution of Prototypes for Training Set Condensing
Abstract. In this paper, some new approaches to training set size reduction are presented. These schemes basically consist of defining a small number of prototypes that represent ...
María Teresa Lozano, José Salvador S...
IBPRIA
2003
Springer
15 years 11 months ago
Reducing Training Sets by NCN-based Exploratory Procedures
In this paper, a new approach to training set size reduction is presented. This scheme basically consists of defining a small number of prototypes that represent all the original ...
María Teresa Lozano, José Salvador S...