6059 search results - page 280 / 1212 » A Technique for Verifying Measurements |
194
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Video signatures are compact representations of video sequences designed for efficient similarity measurement. In this paper, we propose a feature extraction technique to support ...
235
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...
178
click to vote
ISMB
1993
15 years 8 months ago
1993
Weconsider tile automatedidentification of transmembrane domains in membrane protein sequences. 324 proteins (containing 1585 segrrmnts) werc examined, representing every protein ...
177
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
210
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...