1596 search results - page 190 / 320 » Quantum property testing |
IPCO
2008
13 years 11 months ago
2008
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
SDM
2008
SIAM
13 years 11 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...
MVA
2007
13 years 11 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...
ICMLA
2004
13 years 11 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...
IFIP13
2004
13 years 11 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...