1585 search results - page 21 / 317 » A framework for computer-aided validation |
PAMI
2010
14 years 10 months ago
2010
—This paper addresses pattern classification in the framework of domain adaptation by considering methods that solve problems in which training data are assumed to be available o...
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...
AUTOMATICA
2006
14 years 12 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
IOR
2006
14 years 11 months ago
2006
We present fully sequential procedures for steady-state simulation that are designed to select the best of a finite number of simulated systems when "best" is defined by...
108
click to vote
ESA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The small world phenomenon, a.k.a. the six degree of separation between individuals, was identified by Stanley Milgram at the end of the 60s. Milgram experiment demonstr...