536 search results - page 97 / 108 » Reusing Models of Different Abstraction Levels |
MICCAI
2003
Springer
14 years 10 months ago
2003
Springer
Abstract. This paper evaluates strategies to combine multiple segmentations of the same image, generated for example by different segmentation methods or by different human experts...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...