Sciweavers

102 search results - page 16 / 21
» On solving hierarchical problems with top down control
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
DGCI
2005
Springer
14 years 1 months ago
Arbitrary 3D Resolution Discrete Ray Tracing of Implicit Surfaces
A new approach to ray tracing implicit surfaces based on recursive space subdivision is presented in this paper. Interval arithmetic, already used to calculate intersections in ray...
Nilo Stolte
ACMACE
2006
ACM
14 years 1 months ago
AI-based world behaviour for emergent narratives
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
Jean-Luc Lugrin, Marc Cavazza
ALP
1992
Springer
13 years 11 months ago
Definitional Trees
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
Sergio Antoy
NIME
2005
Springer
134views Music» more  NIME 2005»
14 years 1 months ago
Haptic Music Exercises
Pluck, ring, rub, bang, strike, and squeeze are all simple gestures used in controlling music. A single motor/encoder plus a force-sensor has proved to be a useful platform for ex...
William Verplank