3573 search results - page 452 / 715 » Reasoning about Codata |
167
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
178
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
168
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Traditional approaches to programming robots are generally inaccessible to non-robotics-experts. A promising exception is the Learning from Demonstration paradigm. Here a polic...
157
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
155
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...