6693 search results - page 202 / 1339 » On an anytime algorithm for control |
134
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
128
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
178
click to vote
JAIR
2007
15 years 4 months ago
2007
In this paper we present a general, flexible framework for learning mappings from images to actions by interacting with the environment. The basic idea is to introduce a feature-...
179
click to vote
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
The generation of robot controllers for a task requiring a sequence of elementary behaviors is still a challenge. If these behaviors are known, intermediate steps can be given to ...
147
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
— A new decoding algorithm, referred to as Min-Sum with Adaptive Message Control (AMC-MS), is proposed to reduce the decoding complexity of nonbinary LDPC codes. The proposed alg...