10715 search results - page 138 / 2143 » From Tests to Proofs |
MCS
2007
Springer
13 years 9 months ago
2007
Springer
In this short note, we revisit the so-called Ermakov–Pinney (EP) equation viewing its properties from a physically motivated perspective. We discuss its ties with the Schr¨odin...
IBPRIA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper addresses the problem of reconstructing textureless objects of quadric like shape. It is known that a quadric can be uniquely recovered from its apparent conto...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
AUTOMATICA
2007
13 years 9 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper, we propose a method for verifying whether two digital images were obtained using the same digital camera. The method uses test statistics derived from a twochannel ...