4397 search results - page 301 / 880 » Relational Algebra Operations |
192
click to vote
CALCO
2005
Springer
16 years 7 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
173
click to vote
DGCI
2005
Springer
16 years 7 days ago
2005
Springer
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
177
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
207
click to vote
ICSOC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
205
click to vote
CAIP
2003
Springer
15 years 12 months ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of deformable 3D free-form contours. In our scenario we observe objects of any 3D shape in an image of a calibrated cam...