9730 search results - page 341 / 1946 » Relating models of backtracking |
167
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
215
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
162
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
The Bluenome Model of Development is introduced. The Bluenome model is a developmental model of Artificial Morphogenesis, inspired by biological development, instantiating a subset...
151
Voted
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
171
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of 3D free-form surface models. In our scenario we observe free-form surface models in an image of a calibrated camera....