3233 search results - page 96 / 647 » Validation Method for Intelligent Systems |
112
Voted
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,...
71
Voted
CAV
2007
Springer
15 years 8 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...
101
Voted
CLEF
2007
Springer
15 years 8 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...
103
Voted
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 ...
116
Voted
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 ...