3757 search results - page 413 / 752 » The overlap number of a graph |
166
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
200
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....
171
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
In this paper, we propose techniques to make use of two complementary bottom-up features, image edges and texture patches, to guide top-down object segmentation towards higher pre...
223
click to vote
APVIS
2010
15 years 1 months ago
2010
In this paper, we present a novel three-stage process to visualize the structure of point clouds in arbitrary dimensions. To get insight into the structure and complexity of a dat...
195
click to vote
BCB
2010
15 years 1 months ago
2010
Recent studies suggest that the mammalian genomes can be subdivided in segments within which there is limited haplotype diversity. Understanding the distribution and structure of ...