4930 search results - page 399 / 986 » Testing a Safety-Critical Application |
177
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
180
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
Since many applications require the verification of large sets of signatures, it is sometimes advantageous to perform a simultaneous verification instead of checking each signatu...
202
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
185
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
Subjecting a mobile computing system to wireless network conditions that are realistic yet reproducible is a challenging problem. In this paper, we describe a technique called tra...
157
click to vote
DAGM
1997
Springer
15 years 11 months ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...