1682 search results - page 327 / 337 » Applying Conventional Testing Techniques for Class Testing |
TOIS
2010
14 years 10 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...
193
click to vote
CADE
2011
Springer
13 years 11 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...
103
click to vote
POPL
2012
ACM
13 years 7 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...
116
click to vote
CVPR
2009
IEEE
16 years 5 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...
79
Voted
ICIP
2007
IEEE
16 years 1 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...