Sciweavers

896 search results - page 116 / 180
» On completeness of word reversing
Sort
View
EJC
2008
15 years 1 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
ESSLLI
1999
Springer
15 years 4 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann
ICCV
2001
IEEE
16 years 1 months ago
Concentric Mosaic(s)Planar Motion and 1D Cameras
General SFM methods give poor results for images captured by constrained motions such as planar motion of concentric mosaics (CM). In this paper, we propose new SFM algorithms for...
Long Quan, Le Lu, Heung-Yeung Shum, Maxime Lhuilli...
ECCV
2000
Springer
16 years 1 months ago
Non-parametric Model for Background Subtraction
Abstract. Background subtraction is a method typically used to segment moving regions in image sequences taken from a static camera by comparing each new frame to a model of the sc...
Ahmed M. Elgammal, David Harwood, Larry S. Davis
ICIP
1999
IEEE
16 years 1 months ago
An Efficient VLSI Architecture for Separable 2-D Discrete Wavelet Transform
In this paper, we present a VLSI architecture for separable 2-D Discrete Wavelet Transform (DWT). Based on 1-D DWT Recursive Pyramid Algorithm (RPA), a complete 2-D DWT output sch...
Wen-Shiaw Peng, Chen-Yi Lee