10715 search results - page 1767 / 2143 » Proofs from Tests |
223
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we present a multiple targets classification system for visual concepts detection and image annotation. Multiple targets classification (MTC) is a variant ...
200
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
This paper focuses on one of the Image CLEF Photo tasks at which the MRIM research group of the LIG participated: the Visual Concept Detection and Annotation. For this task, we app...
216
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
204
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
197
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...