1134 search results - page 187 / 227 » Composing Tests from Examples |
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper presents a method for deblurring an image consisting of two layers (a foreground layer and a background layer) which have suffered different, unknown blurs. This is a s...
CLEIEJ
2010
13 years 7 months ago
2010
Recent progress in ubiquitous computing technology is allowing development of new and sophisticated applications that are now able to store very large data on the mobile device it...
CSCW
2011
ACM
13 years 4 months ago
2011
ACM
We describe the activities of the Empirical Software Engineering (ESE) group at Microsoft Research. We highlight our research themes and activities using examples from our researc...
BICA
2010
13 years 4 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...