592 search results - page 11 / 119 » Real Space Process Algebra |
120
Voted
CGI
2006
IEEE
15 years 8 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...
116
Voted
ACSD
2006
IEEE
15 years 8 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...
121
Voted
CVPR
1998
IEEE
15 years 6 months 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 ...
106
click to vote
TASE
2008
IEEE
15 years 8 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...
114
click to vote
ISBI
2002
IEEE
16 years 2 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...