2853 search results - page 109 / 571 » On Coherence in Computer Algebra |
188
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
We present a linear approach to the 3D reconstruction problem from occluding contours using algebraic surfaces. The problem of noise and missing data in the occluding contours extr...
153
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
151
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
167
click to vote
TGC
2010
Springer
15 years 1 months 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...
169
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...