6059 search results - page 42 / 1212 » A Technique for Verifying Measurements |
AMDO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Monitoring the performance of a network by which a real-time distributed system is connected is very important. If the system is adaptive or dynamic, the resource manager can use t...
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
The mathematical relationship between the expectedconfusion metric and the area under a receiver operating characteristic (ROC) curve is derived. Given a limited database of subje...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...