Sciweavers

8917 search results - page 55 / 1784
» Abstraction in Algorithm Animation
Sort
View
50
Voted
TACAS
2004
Springer
62views Algorithms» more  TACAS 2004»
15 years 3 months ago
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...
46
Voted
STOC
1994
ACM
94views Algorithms» more  STOC 1994»
15 years 1 months ago
Balanced allocations (extended abstract)
Yossi Azar, Andrei Z. Broder, Anna R. Karlin, Eli ...
64
Voted
IJCAT
2010
87views more  IJCAT 2010»
14 years 8 months ago
Image-based measurement of alveoli volume expansion in an animal model of a diseased lung
Currently, there does not exist reliable MV treatment or protocols in critical care to treat acute respiratory diseases, and thus no proven way to optimise care to minimise the mor...
Christopher E. Hann, Darren Hewett, J. Geoffrey Ch...
SIGGRAPH
2000
ACM
15 years 2 months ago
Sampling plausible solutions to multi-body constraint problems
Traditional collision intensive multi-body simulations are difficult to control due to extreme sensitivity to initial conditions or model parameters. Furthermore, there may be mu...
Stephen Chenney, David A. Forsyth
MICAI
2004
Springer
15 years 3 months ago
Don't You Escape! I'll Tell You My Story
Abstract. This paper makes two contributions to increasing the engagement of users in virtual heritage environments by adding virtual living creatures. This work is carried out on ...
Jesús Ibáñez, Carlos Delgado-...