1588 search results - page 39 / 318 » Modular action language |
127
Voted
NEUROSCIENCE
2001
Springer
15 years 6 months ago
2001
Springer
This volume is intended to help advance the field of artificial neural networks along the lines of complexity present in animal brains. In particular, we are interested in examin...
110
click to vote
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
119
click to vote
CASSIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
100
click to vote
BCS
2008
15 years 3 months ago
2008
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.
116
click to vote
ICML
1994
IEEE
15 years 6 months ago
1994
IEEE
Compositional Q-Learning (CQ-L) (Singh 1992) is a modular approach to learning to performcomposite tasks made up of several elemental tasks by reinforcement learning. Skills acqui...