Sciweavers

4666 search results - page 121 / 934
» Equations on Timed Languages
Sort
View
ICCV
2005
IEEE
16 years 2 months ago
Actions as Space-Time Shapes
Human action in video sequences can be seen as silhouettes of a moving torso and protruding limbs undergoing articulated motion. We regard human actions as three-dimensional shapes...
Moshe Blank, Lena Gorelick, Eli Shechtman, Michal ...
DAC
2007
ACM
16 years 1 months ago
PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
Zhichun Wang, Xiaolue Lai, Jaijeet S. Roychowdhury
RT
2005
Springer
15 years 6 months ago
Real-Time Multiple Scattering in Participating Media with Illumination Networks
This paper proposes a real-time method to compute multiple scattering in non-homogeneous participating media having general phase functions. The volume represented by a particle s...
László Szirmay-Kalos, Mateu Sbert, T...
LICS
2003
IEEE
15 years 6 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
115
Voted
CGVR
2007
15 years 2 months ago
Simplified Muscle Dynamics for Appealing Real-Time Skin Deformation
- We propose significant simplifications in muscle modeling and simulation to facilitate real-time anatomical skin deformation for full-body articulated characters. The muscle shap...
Keng Siang Lee, Golam Ashraf