1029 search results - page 41 / 206 » Compact representations of ordered sets |
103
Voted
NAACL
2007
15 years 4 months ago
2007
Traditional noun phrase coreference resolution systems represent features only of pairs of noun phrases. In this paper, we propose a machine learning method that enables features ...
215
click to vote
AFPAC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
99
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
134
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
The global shape prior knowledge has been exploited by many image segmentation approaches in order to improve segmentation results when there are such problems as occlusion, clutt...
ORDER
2000
15 years 2 months ago
2000
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...