Sciweavers

5066 search results - page 423 / 1014
» Spectra of structures and relations
Sort
View
ICIP
2001
IEEE
16 years 8 months ago
Image motion estimation-convergence and error analysis
The paper computes the reliability of estimates of image motion parameters. The use of such measures of reliability to weight motion estimates improves significantly the performan...
José M. F. Moura, Pedro M. Q. Aguiar
ICIP
2000
IEEE
16 years 8 months ago
Moving Targets in Synthetic Aperture Images: A Bayesian Approach
This paper presents a novel method to determine the complete velocity vector of a moving target using a single Synthetic Aperture Radar (SAR) sensor. The method exploits the struc...
José M. B. Dias, Paulo A. C. Marques
WWW
2004
ACM
16 years 7 months ago
Surfing the web by site
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
David Gibson
ARITH
2009
IEEE
16 years 1 months ago
IEEE Interval Standard Working Group - P1788: Current Status
Late 2008, at SCAN 2008 in El Paso, TX, an effort to standardize interval computations was started by a working group of the IEEE Microprocessor Standards Committee, titled the In...
William Edmonson, Guillaume Melquiond
CIE
2009
Springer
16 years 1 months ago
Complexity of Existential Positive First-Order Logic
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
Manuel Bodirsky, Miki Hermann, Florian Richoux