3446 search results - page 284 / 690 » A Reasoning Algorithm for pD* |
145
click to vote
ICGA
1997
15 years 8 months ago
1997
A methodology is described for synthesizing signal processing networks, which are used to solve a low-cost medical signal processing problem. The approach makes use of genetic alg...
178
click to vote
AIIDE
2009
15 years 7 months ago
2009
In this paper, we describe a computational system that generates story analogues based on previous stories. Unlike many previous works on story generation that attempt to produce ...
161
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...