Sciweavers

AI
2005
Springer
13 years 4 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
AAAI
1994
13 years 5 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
AGENTS
1998
Springer
13 years 8 months ago
Learning Situation-Dependent Costs: Improving Planning from Probabilistic Robot Execution
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
Karen Zita Haigh, Manuela M. Veloso
ANSS
2002
IEEE
13 years 9 months ago
A Flow Injection Model Using Cell-DEVS
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
Alejandro Troccoli, Javier Ameghino, Fernando I&nt...
ICPP
2006
IEEE
13 years 10 months ago
Scalable Time-Parallelization of Molecular Dynamics Simulations in Nano Mechanics
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
Yanan Yu, Ashok Srinivasan, Namas Chandra