3729 search results - page 73 / 746 » On Formal Modeling of Agent Computations |
109
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
113
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
114
click to vote
GG
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
84
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
102
click to vote
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...