4218 search results - page 473 / 844 » Complete sets of cooperations |
169
click to vote
TAP
2010
Springer
15 years 5 months ago
2010
Springer
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 ...
258
Voted
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
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...
271
Voted
IFIPTM
2009
15 years 5 months ago
2009
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...
173
Voted
IGARSS
2009
15 years 5 months ago
2009
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...
192
click to vote
EC
2010
15 years 5 months ago
2010
A genetic algorithm is invariant with respect to a set of representations if it runs the same no matter which of the representations is used. We formalize this concept mathematica...