317 search results - page 16 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
109
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
ICMLA
2009
14 years 9 months ago
2009
This paper describes a novel real-world reinforcement learning application: The Neuro Slot Car Racer. In addition to presenting the system and first results based on Neural Fitted...
109
click to vote
ISORC
2002
IEEE
15 years 4 months ago
2002
IEEE
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
UIST
2006
ACM
15 years 5 months ago
2006
ACM
Existing augmentations of web pages are mostly small cosmetic changes (e.g., removing ads) and minor addition of third-party content (e.g., product prices from competing sites). N...
111
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...