Sciweavers

1652 search results - page 31 / 331
» Integration in Real PCF
Sort
View
IFIP
1998
Springer
14 years 3 months ago
BUILD-IT: A Brick-based integral Solution Supporting Multidisciplinary Design Tasks
BUILD-IT is an up-and-running system putting at work highly intuitive, videobased interaction technology to support complex planning and configuration tasks. It makes state-of-the...
Morten Fjeld, Kristina Lauche, S. Dierssen, Martin...
ESA
2001
Springer
61views Algorithms» more  ESA 2001»
14 years 3 months ago
A Separation Bound for Real Algebraic Expressions
Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, k-th root operations for int...
Christoph Burnikel, Stefan Funke, Kurt Mehlhorn, S...
ICALP
2004
Springer
14 years 4 months ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
Olivier Bournez, Emmanuel Hainry
CEC
2003
IEEE
14 years 4 months ago
Real-time adaptation technique to real robots: an experiment with a humanoid robot
We introduce a technique that allows a real robot to execute real-time learning, in which GP and RL are integrated. In our former research, we showed the result of an experiment wi...
Shotaro Kamio, Hitoshi Iba
FUIN
2006
89views more  FUIN 2006»
13 years 11 months ago
Recursive Analysis Characterized as a Class of Real Recursive Functions
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive a...
Olivier Bournez, Emmanuel Hainry