2853 search results - page 287 / 571 » On Coherence in Computer Algebra |
140
click to vote
ECCV
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
159
click to vote
SI3D
1992
ACM
15 years 8 months ago
1992
ACM
In a virtual world viewed with a head-mounted display, the user may wish to perform certain actions under the control of a manual input device. The most important of these actions...
138
click to vote
CASC
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
138
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
137
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...