247 search results - page 5 / 50 » A Qualitative Physics Compiler |
TSMC
1998
14 years 9 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
AI
2011
Springer
14 years 4 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
PRESENCE
2006
14 years 9 months ago
2006
This paper describes the design, application, and refinement of a qualitative tool designed to study sense of place. The Place Probe incorporates a range of stimuli and techniques...
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...