Sciweavers

8917 search results - page 58 / 1784
» Abstraction in Algorithm Animation
Sort
View
TACAS
2007
Springer
98views Algorithms» more  TACAS 2007»
15 years 3 months ago
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking
Sebastian Kupferschmid, Klaus Dräger, Jö...
ASIAN
2006
Springer
80views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Combination of Abstractions in the ASTRÉE Static Analyzer
Patrick Cousot, Radhia Cousot, Jérôme...
BMCBI
2005
107views more  BMCBI 2005»
14 years 9 months ago
An edit script for taxonomic classifications
Abstract. Taxonomy provides one of the most powerful ways to navigate sequence data bases but currently, users are forced to formulate queries according to a single taxonomic class...
Roderic D. M. Page, Gabriel Valiente
AES
2008
Springer
97views Cryptology» more  AES 2008»
14 years 9 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez
AMDO
2006
Springer
15 years 1 months ago
Acquisition of Articulated Human Body Models Using Multiple Cameras
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
Aravind Sundaresan, Rama Chellappa