3775 search results - page 612 / 755 » The Expression Problem Revisited |
129
click to vote
WSC
2000
15 years 5 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
130
Voted
AAAI
1993
15 years 5 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
135
click to vote
AAAI
1994
15 years 5 months ago
1994
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
148
click to vote
AIPS
1996
15 years 5 months ago
1996
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
135
click to vote
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...