Sciweavers

12981 search results - page 2519 / 2597
» Model Checking and Abstraction
Sort
View
ECOOP
2007
Springer
15 years 7 months ago
Towards correct evolution of components using VPA-based aspects
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
Dong Ha Nguyen, Mario Südholt
EMMCVPR
2007
Springer
15 years 7 months ago
Bayesian Inference for Layer Representation with Mixed Markov Random Field
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
Ru-Xin Gao, Tianfu Wu, Song Chun Zhu, Nong Sang
GEOS
2007
Springer
15 years 7 months ago
Spatio-temporal Conceptual Schema Development for Wide-Area Sensor Networks
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
Mallikarjun Shankar, Alexandre Sorokine, Budhendra...
GFKL
2007
Springer
152views Data Mining» more  GFKL 2007»
15 years 7 months ago
Supporting Web-based Address Extraction with Unsupervised Tagging
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
Berenike Loos, Chris Biemann
GI
2007
Springer
15 years 7 months ago
Modellierung selbststeuernder Servicenetze aus Netzplanungsdaten
Abstract: Es wird die Erweiterung von logistischen Servicenetzen um ein selbststeuerendes Verfahren zur Kapazit¨ats- und Robustheitssteigerung beschrieben. Dazu werden die zugeh¨...
Sebastian Vastag
« Prev « First page 2519 / 2597 Last » Next »