4513 search results - page 169 / 903 » Modeling with a Sense of Purpose |
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
161
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
180
click to vote
WSC
2008
15 years 8 months ago
2008
Simulation modeling methodology research and simulation analysis methodology research have evolved into two nearly separate fields. In this paper, ways are shown how simulation mi...
202
click to vote
TAMODIA
2007
15 years 7 months ago
2007
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
140
click to vote
IJMMS
1998
15 years 6 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...