3134 search results - page 150 / 627 » simulation 2010 |
128
Voted
DSS
2006
15 years 3 months ago
2006
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...
108
Voted
ENTCS
2006
15 years 3 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
110
Voted
ENTCS
2006
15 years 3 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
114
Voted
ENVSOFT
2006
15 years 3 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
134
click to vote
DSS
2007
15 years 3 months ago
2007
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...