1237 search results - page 194 / 248 » Strictness and Totality Analysis |
183
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
ImageCLEFphoto 2008 is an ad-hoc photo retrieval task and part of the ImageCLEF evaluation campaign. This task provides both the resources and the framework necessary to perform c...
158
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
This article describes our participation at the Domain-Specific track. We used the Xtrieval framework [2], [3] for the preparation and execution of the experiments. The translatio...
159
click to vote
COMPGEOM
2008
ACM
15 years 7 months ago
2008
ACM
We investigate the complexity of the outer face in arrangements of line segments of a fixed length in the plane, drawn uniformly at random within a square. We derive upper bounds ...
155
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
We present a streaming compression algorithm for huge time-varying aerial imagery. New airborne optical sensors are capable of collecting billion-pixel images at multiple frames p...
152
click to vote
DGO
2010
15 years 7 months ago
2010
We address the problem of publishing parliamentary proceedings in a digital sustainable manner. We give an extensive requirements analysis, and based on that propose a uniform XML...