8669 search results - page 1479 / 1734 » Computing matrix representations |
115
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
140
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
123
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
163
Voted
SI3D
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes shear-image order ray casting, a new method for volume rendering. This method renders sampled data in three dimensions with image quality equivalent to the be...
195
click to vote
VRML
2003
ACM
15 years 8 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...