3690 search results - page 186 / 738 » Computation with classical sequents |
100
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
The properties of local image statistics are analyzed in a classic information theoretic setting. Local spatiochromatic image elements are projected into a space in which constitu...
104
Voted
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In this work we address boundary detection and boundary grouping. We first pursue a learning-based approach to boundary detection. For this (i) we leverage appearance and context...
99
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
The numerical syllogistic is the extension of the traditional syllogistic with numerical quantifiers of the forms at least C and at most C. It is known that, for the traditional s...
107
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we deal with the large-scale divisible load problem studied in [12]. We show how to reduce this problem to a classical preemptive scheduling problem on a single mac...
107
Voted
FCT
2009
Springer
15 years 7 months ago
2009
Springer
Despite of their applicability betweennness constraints have (to the author’s knowledge) hardly been considered from the random structures point of view. They are essentially di...