4894 search results - page 216 / 979 » Dynamic Abstraction Planning |
147
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
144
click to vote
WICSA
2004
15 years 5 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
139
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
140
click to vote
JANCL
2007
15 years 4 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
115
click to vote
ESANN
2004
15 years 5 months ago
2004
Abstract. In this work we describe experimental results regarding an optoelectronic implementation of a dynamic neuron model. The model is a variation of the FitzHugh-Nagumo equati...