Sciweavers

186 search results - page 22 / 38
» Global consistency checking of distributed models with TReMe...
Sort
View
ICPR
2004
IEEE
16 years 26 days ago
Image Segmentation by Shape Particle Filtering
Statistical appearance models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with local appe...
Mads Nielsen, Marleen de Bruijne
JAIR
2008
113views more  JAIR 2008»
14 years 11 months ago
Graphical Model Inference in Optimal Control of Stochastic Multi-Agent Systems
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...
Bart van den Broek, Wim Wiegerinck, Bert Kappen
SIGSOFT
2009
ACM
16 years 15 days ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
SAIG
2000
Springer
15 years 3 months ago
Generating Data Analysis Programs from Statistical Models
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
Bernd Fischer 0002, Johann Schumann, Thomas Pressb...
OSDI
1996
ACM
15 years 1 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher