Sciweavers

846 search results - page 78 / 170
» Fundamentals of Media Theory
Sort
View
ECCV
2000
Springer
16 years 8 months ago
Multibody Structure and Motion: 3-D Reconstruction of Independently Moving Objects
Abstract. This paper extends the recovery of structure and motion to image sequences with several independently moving objects. The motion, structure, and camera calibration are al...
Andrew W. Fitzgibbon, Andrew Zisserman
ECCV
1994
Springer
16 years 8 months ago
Canonic Representations for the Geometries of Multiple Projective Views
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
Quang-Tuan Luong, Thierry Viéville
SOFSEM
1998
Springer
15 years 10 months ago
Some Results on the Modelling of Spatial Data
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
Luca Forlizzi, Enrico Nardelli
FSE
1997
Springer
280views Cryptology» more  FSE 1997»
15 years 10 months ago
New Block Encryption Algorithm MISTY
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...
Mitsuru Matsui
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 10 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund