6059 search results - page 259 / 1212 » A Technique for Verifying Measurements |
207
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
173
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
164
click to vote
AAAI
2007
15 years 9 months ago
2007
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
162
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We investigate a new registration method for ultrasound volumes relying on on a statistical texture-basedsimilarity measure. Texture information is given by spatial Gabor filters ...
151
click to vote
STOC
2002
ACM
16 years 7 months ago
2002
ACM
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...