Sciweavers

576 search results - page 37 / 116
» On Triangulating Dynamic Graphical Models
Sort
View
VMV
2003
174views Visualization» more  VMV 2003»
13 years 9 months ago
Interactive Visualization of Large Finite Element Models
198 Triangles Std. Wire Frame 2 Triangles 32×32 Texture Finite element models used in crash worthiness simulations now contain more than one million mostly quadrilateral elements...
Dirc Rose, Thomas Ertl
DCC
2007
IEEE
13 years 7 months ago
Sequential and dynamic frameproof codes
There are many schemes in the literature for protecting digital data from piracy by the use of digital fingerprinting, such as frameproof codes and traitor-tracing schemes. The c...
Maura B. Paterson
DCC
2007
IEEE
14 years 7 months ago
A Stochastic Model for Video and its Information Rates
We propose a stochastic model for video and compute its information rates. The model has two sources of information representing ensembles of camera motion and visual scene data (...
Arthur L. da Cunha, Minh N. Do, Martin Vetterli
CAV
2010
Springer
173views Hardware» more  CAV 2010»
13 years 11 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CGF
2008
130views more  CGF 2008»
13 years 7 months ago
An Adaptive Contact Model for the Robust Simulation of Knots
In this paper, we present an adaptive model for dynamically deforming hyper-elastic rods. In contrast to existing approaches, adaptively introduced control points are not governed...
Jonas Spillmann, Matthias Teschner