1937 search results - page 86 / 388 » Rule Based Updates on Simple Knowledge Bases |
148
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
141
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
147
click to vote
JANCL
2008
15 years 4 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
128
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
203
click to vote
APBC
2004
15 years 5 months ago
2004
Pseudoknots are widely occurring structural motifs in RNA. Pseudoknots have been shown to be functionally important in different RNAs which play regulatory, catalytic, or structur...