Sciweavers

270 search results - page 13 / 54
» Call Invariants
Sort
View
LICS
2010
IEEE
13 years 6 months ago
Addition-Invariant FO and Regularity
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
Nicole Schweikardt, Luc Segoufin
ICCV
2007
IEEE
14 years 10 months ago
An Invariant Large Margin Nearest Neighbour Classifier
The k-nearest neighbour (kNN) rule is a simple and effective method for multi-way classification that is much used in Computer Vision. However, its performance depends heavily on ...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
CVPR
2006
IEEE
14 years 10 months ago
A Projective Invariant for Textures
Image texture analysis has received a lot of attention in the past years. Researchers have developed many texture signatures based on texture measurements, for the purpose of uniq...
Cornelia Fermüller, Hui Ji, Yong Xu
CVPR
2008
IEEE
15 years 1 months ago
Illumination and Camera Invariant Stereo Matching
Color information can be used as a basic and crucial cue for finding correspondence in a stereo matching algorithm. In a real scene, however, image colors are affected by various g...
Yong Seok Heo (Seoul National University), Kyoung ...
DSRT
2008
IEEE
13 years 10 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...