15 search results - page 1 / 3 » Simplification and Abstraction of Kinematic Behaviors |
IJCAI
1989
14 years 11 months ago
1989
100
click to vote
ICALP
2010
Springer
15 years 11 hour ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
IJCAI
1989
14 years 11 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...