592 search results - page 11 / 119 » Real Space Process Algebra |
CGI
2006
IEEE
14 years 2 months ago
2006
IEEE
Although lots of works have been engaged in interactive and realistic rendering of translucent materials, efficient processing for deformable models remains a challenging problem...
ACSD
2006
IEEE
14 years 2 months ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
CVPR
1998
IEEE
14 years 10 days ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
A new algorithm for 3D reconstruction of twodimensional crystals from projections is presented, and applied to biological macromolecules imaged using electron microscopy. Its main...