1302 search results - page 86 / 261 » Fair Equivalence Relations |
ISM
2006
IEEE
13 years 10 months ago
2006
IEEE
A novel indexing and access method, called Affinity Hybrid Tree (AH-Tree), is proposed to organize large image data sets efficiently and to support popular image access mechanisms...
SIAMJO
2002
13 years 9 months ago
2002
A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
Spatially-discrete Markov random fields (MRFs) and spatially-continuous variational approaches are ubiquitous in low-level vision, including image restoration, segmentation, opti...
ICDAR
1999
IEEE
14 years 2 months ago
1999
IEEE
A method is presented for segmenting documents into conceptually related areas. Determining the equivalence of text is often based on the number of word repetitions. This approach...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...