531 search results - page 43 / 107 » An Argumentation-Based Approach for Practical Reasoning |
117
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
124
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper a new scheme for deterministic and mixed mode scan-based BIST is presented. It relies on a new type of test pattern generator which resembles a programmable Johnson ...
124
click to vote
CLIMA
2007
15 years 5 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
116
click to vote
SERP
2007
15 years 5 months ago
2007
Architecture and design patterns, as demonstrated solutions to recurring problems, have proved practically important and useful in the process of software development. They have b...
154
click to vote
CVPR
2011
IEEE
14 years 12 months ago
2011
IEEE
In deflectometry, the shape of mirror objects is recovered from distorted images of a calibrated scene. While remarkably high accuracies are achievable, state-of-the-art methods ...