4930 search results - page 709 / 986 » Testing a Safety-Critical Application |
162
click to vote
PSIVT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a novel algorithm, named as Spatially Varying Transform (SVT). The basic idea of SVT is that we do not restrict the transform coding inside normal block b...
153
Voted
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
The Beltrami flow is an efficient non-linear filter, that was shown to be effective for color image processing. The corresponding anisotropic diffusion operator strongly couple...
169
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...
167
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
The increasing use of touchscreen interfaces in vehicles poses challenges to designers in terms of optimizing safety, usability and affective response. It is thought that the appl...
152
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...