Sciweavers

1390 search results - page 134 / 278
» Computing the depth of a flat
Sort
View
CAIP
1997
Springer
155views Image Analysis» more  CAIP 1997»
15 years 2 months ago
Discrete-Time Rigidity-Constrained Optical Flow
An algorithm for optical ow estimation is presented for the case of discrete-time motion of an uncalibrated camera through a rigid world. Unlike traditional optical ow approaches t...
Jeffrey Mendelsohn, Eero P. Simoncelli, Ruzena Baj...
MFCS
1994
Springer
15 years 2 months ago
Empty Alternation
We introduce the notion of empty alternation by investigating alternating automata which are restricted to empty their storage except for a logarithmically space-bounded tape befor...
Klaus-Jörn Lange, Klaus Reinhardt
BIRTHDAY
2008
Springer
14 years 12 months ago
The Pairing of Contracts and Session Types
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
Cosimo Laneve, Luca Padovani
ENTCS
2006
174views more  ENTCS 2006»
14 years 10 months ago
Context Sequence Matching for XML
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
Temur Kutsia
CGA
1998
14 years 9 months ago
Images for Accelerating Architectural Walkthroughs
We are investigating methods to accelerate rendering of architectural walkthroughs. In this paper, we improve upon a cells and portals framework by using images to replace geometr...
Matthew M. Rafferty, Daniel G. Aliaga, Voicu Popes...