Sciweavers

3951 search results - page 467 / 791
» Automatic amortized analysis
Sort
View
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
AIIA
2007
Springer
16 years 29 days ago
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture
We present two algorithms for supporting semi-automatic ontology building, integrated in WPro, a new architecture for ontology learning from Web documents. The first algorithm auto...
Daniele Bagni, Marco Cappella, Maria Teresa Pazien...
CAIP
2007
Springer
190views Image Analysis» more  CAIP 2007»
16 years 28 days ago
Image Segmentation Based on Height Maps
Abstract. In this paper we introduce a new method for image segmentation. It is based on a height map generated from the input image. The height map characterizes the image content...
Gabriele Peters, Jochen Kerdels
CLEF
2007
Springer
16 years 28 days ago
Charles University at CLEF 2007 Ad-Hoc Track
In this paper we describe retrieval experiments performed at Charles University in Prague for participation in the CLEF 2007 Ad-Hoc track. We focused on the Czech monolingual task...
Pavel Ceska, Pavel Pecina
IBPRIA
2007
Springer
16 years 28 days ago
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Gilles Dequen, Laure Devendeville, E. Mouaddib