Sciweavers

1162 search results - page 88 / 233
» An Information-Based Theory of Conditionals
Sort
View
JACIII
2007
79views more  JACIII 2007»
14 years 11 months ago
State-Transition Computation Models and Program Correctness Thereon
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
Kiyoshi Akama, Ekawit Nantajeewarawat
TROB
2008
210views more  TROB 2008»
14 years 11 months ago
Dynamical System Modulation for Robot Learning via Kinesthetic Demonstrations
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
Micha Hersch, Florent Guenter, Sylvain Calinon, Au...
JSYML
2007
62views more  JSYML 2007»
14 years 11 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras
ANOR
2002
47views more  ANOR 2002»
14 years 11 months ago
Nonparametric Adverse Selection Problems
This article is devoted to adverse selection problems in which individual private information is a whole utility function and cannot be reduced to some finite-dimensional parameter...
Guillaume Carlier
MP
2002
113views more  MP 2002»
14 years 11 months ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph