1720 search results - page 220 / 344 » Unranking Combinations in Parallel |
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
The ImageCLEF 2006 medical automatic annotation task encompasses 11,000 images from 116 categories, compared to 57 categories for 10,000 images of the similar task in 2005. As a b...
103
click to vote
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
ICCAD
1991
IEEE
15 years 1 months ago
1991
IEEE
In a high level synthesis environment there is a strong need for flexible module generators. For the generation of regular structures efficient dedicated module generators can be ...
ICDE
1987
IEEE
15 years 1 months ago
1987
IEEE
Handling parallelism in database systems involves the specification of a storage model, a placement strategy, and a query processing strategy. An important goal is to determine th...
COSIT
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The paper proposes a novel approach for a scale-dependent geometric simplification of 3D building models that are an integral part of virtual cities. In contrast to real-...