11808 search results - page 139 / 2362 » Isometries and Computability Structures |
150
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
We present an algorithm for the reconstruction of a surface from an unorganized set of points in space. The point data may be obtained from a laser range scanner or any other digi...
118
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
113
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...
146
click to vote
EMMCVPR
1997
Springer
15 years 8 months ago
1997
Springer
We present a general method for matching segmented parts of objects by energy minimization. The energy is designed in order to cope with possible imperfections of the compared segm...
153
click to vote
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...