Sciweavers

98 search results - page 17 / 20
» IPL at ImageCLEF 2010
Sort
View
IPL
2010
94views more  IPL 2010»
13 years 5 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
IPL
2010
114views more  IPL 2010»
13 years 5 months ago
Alphabetic coding with exponential costs
An alphabetic binary tree formulation applies to problems in which an outcome needs to be determined via alphabetically ordered search prior to the termination of some window of o...
Michael B. Baer
IPL
2010
93views more  IPL 2010»
13 years 5 months ago
Randomized algorithms for online bounded bidding
In the online bidding problem, a bidder is trying to guess a positive number T, by placing bids until the value of the bid is at least T. The bidder is charged with the sum of the...
Leah Epstein, Asaf Levin
CLEF
2010
Springer
13 years 8 months ago
Visual Localization Using Global Visual Features and Vanishing Points
Abstract. This paper describes a visual localization approach for mobile robots. Robot localization is performed as location recognition. The approach uses global visual features (...
Olivier Saurer, Friedrich Fraundorfer, Marc Pollef...
CLEF
2010
Springer
13 years 8 months ago
Detection of Visual Concepts and Annotation of Images Using Predictive Clustering Trees
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 ...
Ivica Dimitrovski, Dragi Kocev, Suzana Loskovska, ...