12745 search results - page 391 / 2549 » Automating test automation |
157
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
164
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
146
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
143
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
—As the application and complexity of microelectromechanical (MEMS) devices increases, there is a corresponding need for automated design and optimization tools to augment engine...
156
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents GAPSYS - a genetic algorithm based automated circuit synthesis tool for passive analog circuits. It describes the procedure for developing both the circuit ...