Sciweavers

3172 search results - page 200 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
IPCV
2010
15 years 4 months ago
Fuzzy Spatial Relations for 2D Scene
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
Nadeem Salamat, El-hadi Zahzah
TAP
2010
Springer
145views Hardware» more  TAP 2010»
15 years 4 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes
ICIP
2009
IEEE
15 years 4 months ago
A multi-modal automatic image registration technique based on complex wavelets
Image registration is considered one of the most fundamental and crucial pre-processing tasks in digital imaging. This paper describes a fast multimodal automatic image registrati...
Milad Ghantous, Soumik Ghosh, Magdy Bayoumi
IFIPTM
2009
171views Management» more  IFIPTM 2009»
15 years 4 months ago
Trust-Enhanced Recommender Systems for Efficient On-Line Collaboration
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...
Georgios Pitsilis
IGARSS
2009
15 years 4 months ago
Estimation and Segmentation in Non-Gaussian POLSAR Clutter by SIRV Stochastic Processes
In the context of non-Gaussian polarimetric clutter models, this paper presents an application of the recent advances in the field of Spherically Invariant Random Vectors (SIRV) m...
Gabriel Vasile, Jean Philippe Ovarlez, Fréd...