1492 search results - page 174 / 299 » Testing Properties of Constraint-Graphs |
144
click to vote
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
In this paper, we present a measure associated with detection and inference of statistically anomalous clusters of a graph based on the likelihood test of observed and expected ed...
141
click to vote
MVA
2007
15 years 5 months ago
2007
This paper proposes a novel system for the automatic detection of important anatomical structures such as the Optic Disc (OD), Blood Vessels and Macula in digital fundus retinal i...
149
click to vote
ICMLA
2004
15 years 5 months ago
2004
Predictive state representation (PSR) models for controlled dynamical systems have recently been proposed as an alternative to traditional models such as partially observable Mark...
170
click to vote
IFIP13
2004
15 years 5 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
129
click to vote
ISCAPDCS
2004
15 years 5 months ago
2004
This paper addresses the application of distributed constraint optimization problems (DCOPs) to large-scale dynamic environments. We introduce a decomposition of DCOP into a graph...