2242 search results - page 59 / 449 » From testing to anti-product development |
126
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents an implementation of a simplified filtering estimator for satellite attitude determination using GPS (Global Positioning System) signals. The non-linear syst...
157
click to vote
MJ
2010
15 years 27 days ago
2010
A new electromagnetic energy harvester for harnessing energy from flow induced vibration is developed. It converts flow energy into electrical energy by fluid flow and electromagn...
191
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
166
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
204
click to vote
FLAIRS
1998
15 years 7 months ago
1998
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...