193 search results - page 5 / 39 » On the Automatic Construction of Indistinguishable Operation... |
ISDA
2008
IEEE
15 years 6 months ago
2008
IEEE
This study focused on designing an intelligent living-space with automatic control system to control all home appliances in the space. First of all, the system was constructed wit...
109
click to vote
JSC
2002
14 years 11 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
178
click to vote
IJCV
2007
14 years 11 months ago
2007
Abstract. Inspired by the early visual system of many mammalians we consider the construction of-and reconstruction from- an orientation score Uf : R2 ×S1 → C as a local orienta...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The greatest characteristic of soft-fingered manipulation is its softness and flexibility during manipulating operations. In previous works, this intrinsic property h...
JEI
2008
14 years 11 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...