Sciweavers

1677 search results - page 300 / 336
» An Interactive Fur Modeling Technique
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
14 years 3 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
IMR
2004
Springer
14 years 3 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
CA
2003
IEEE
14 years 3 months ago
Inserting Synthetic Characters into Live-Action Scenes of Multiple People
— Using a single camera, we capture video of multiple people walking in an open area and insert a moving synthetic character into the scene. The people are located in the video u...
Arunachalam Somasundaram, Rick Paren
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
14 years 3 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
GPCE
2009
Springer
14 years 2 months ago
Advanced runtime adaptation for Java
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
Alex Villazón, Walter Binder, Danilo Ansalo...