5205 search results - page 379 / 1041 » Tilings and model theory |
163
Voted
CMOT
1998
15 years 6 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
185
Voted
KBS
2002
15 years 6 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
189
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
217
Voted
TVCG
2010
2010
Mental Models, Visual Reasoning and Interaction in Information Visualization: A Top-down Perspective
15 years 5 months ago
—Although previous research has suggested that examining the interplay between internal and external representations can benefit our understanding of the role of information vis...
205
Voted
ICMLA
2010
15 years 4 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...