1682 search results - page 327 / 337 » Applying Conventional Testing Techniques for Class Testing |
130
click to vote
TOIS
2010
15 years 1 months ago
2010
We propose a new unsupervised learning technique for extracting information about authors and topics from large text collections. We model documents as if they were generated by a...
244
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
136
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
157
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper presents a technique for reconstructing a high-quality high dynamic range (HDR) image from a set of differently exposed and possibly blurred images taken with a hand-hel...
104
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper a probabilistic technique for compensation of intensity loss in the confocal microscopy images is presented. Confocal microscopy images are modeled as a mixture of t...