Sciweavers

6 search results - page 2 / 2
» Flexible Pattern Discovery with (Extended) Disjunctive Logic...
Sort
View
KBSE
2003
IEEE
13 years 10 months ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman