2008 search results - page 182 / 402 » Computing with Equations |
104
click to vote
SIAMSC
2008
15 years 2 months ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
110
click to vote
IFIPTCS
2010
15 years 14 days ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
156
click to vote
TGC
2010
Springer
15 years 12 days ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
89
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
The method of discrete ordinates is commonly used to solve the Boltzmann radiation transport equation for applications ranging from simulations of fires to weapons effects. The ...
137
Voted
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...