1578 search results - page 41 / 316 » Induction of Stable Models |
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
IJCNN
2008
IEEE
14 years 2 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
SMA
2010
ACM
13 years 7 months ago
2010
ACM
Whereas traditional finite element methods use meshes to define domain geometry, weighted extended B-spline finite element methods rely on a weight function. A weight function is ...
IJRR
2008
13 years 7 months ago
2008
In human and animal running spring-like leg behavior is found. In a spring-mass model, running proves to be self-stable in terms of external perturbations or variations in leg pro...