1788 search results - page 170 / 358 » Model Theory for Process Algebra |
138
Voted
KI
2008
Springer
15 years 2 months ago
2008
Springer
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
121
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
112
Voted
SPATIALCOGNITION
1998
Springer
15 years 7 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
113
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...