4949 search results - page 298 / 990 » Consistency and Set Intersection |
161
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
202
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
We study the usefulness of intermediate semantic concepts in bridging the semantic gap in automatic video retrieval. The results of a series of large-scale retrieval experiments, w...
173
click to vote
CRV
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a method to segment rectangular objects that lie on a slightly textured background of an a-priori unknown colour. Our contribution consists of a fast and accurate back...
164
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Our work is focused on alleviating the workload for designers of adaptive courses on the complexity task of authoring adaptive learning designs adjusted to specific user character...
164
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a new radical-based approach for online handwritten Chinese character recognition. The approach is novel in three respects: statistical classification of radic...