2911 search results - page 425 / 583 » A Theory of Expressiveness in Mechanisms |
116
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
107
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
118
click to vote
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
119
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...
109
click to vote
ISAAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...