3233 search results - page 96 / 647 » Validation Method for Intelligent Systems |
113
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
107
click to vote
CLEF
2007
Springer
15 years 9 months ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
110
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, a new method for 3-D measurement of objects in water is proposed. When observing objects in water through a camera contained in a waterproof housing or observing ...
119
click to vote
TROB
2002
15 years 2 months ago
2002
This paper concerns the stability analysis of a new class of model-free visual servoing methods. These methods are "model-free" since they are based on the estimation of ...