3718 search results - page 430 / 744 » Programming by Integration in Robotics |
208
click to vote
NIPS
1994
15 years 8 months ago
1994
This paper presents NeuroChess, a program which learns to play chess from the final outcome of games. NeuroChess learns chess board evaluation functions, represented by artificial...
186
click to vote
JAR
2008
15 years 7 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
162
click to vote
CSUR
1999
15 years 7 months ago
1999
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
233
click to vote
AGP
2003
IEEE
16 years 17 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
239
click to vote
SCP
1998
15 years 7 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...