1788 search results - page 146 / 358 » Model Theory for Process Algebra |
144
Voted
JOCN
2011
14 years 6 months ago
2011
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...
86
Voted
IJMMS
2000
15 years 3 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...
131
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
139
Voted
DEDS
2007
15 years 3 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...