Sciweavers

6 search results - page 2 / 2
» Flexible Pattern Discovery with (Extended) Disjunctive Logic...
Sort
View
KBSE
2003
IEEE
16 years 14 hour 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