Sciweavers

652 search results - page 62 / 131
» Linear Explicit Substitutions
Sort
View
CVPR
1996
IEEE
14 years 10 months ago
Robust Recovery of Camera Rotation from Three Frames
Computing camera rotation from image sequences can serve many computer vision applications. One direct application is image stabilization, and when the camera rotation is known th...
Benny Rousso, Shai Avidan, Amnon Shashua, Shmuel P...
CVPR
1999
IEEE
14 years 10 months ago
Multi-Frame Alignment of Planes
Traditional plane alignment techniques are typically performed between pairs of frames. In this paper we present a method for extending existing two-frame planar-motion estimation...
Lihi Zelnik-Manor, Michal Irani
ICIP
2003
IEEE
14 years 10 months ago
Highly scalable video compression with scalable motion coding
A scalable video coder cannot be equally efficient over a wide range of bit-rates unless both the video data and the motion information are scalable. We propose a wavelet-based, h...
Andrew Secker, David Taubman
DAC
2008
ACM
14 years 9 months ago
Formal datapath representation and manipulation for implementing DSP transforms
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
Franz Franchetti, James C. Hoe, Markus Püsche...
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
14 years 3 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke