6800 search results - page 1185 / 1360 » Testing with Functions as Specifications |
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
Abstract-- This paper describes a novel method for creating surface models of multi-material components using dual energy computed tomography (DECT). The application scenario is me...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Viola and Jones (VJ) cascade classification methods have proven to be very successful in detecting objects belonging to a single class -- e.g., faces. This paper addresses the mor...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Circuit reliability is affected by various fabrication-time and run-time effects. Fabrication-induced process variation has significant impact on circuit performance and reliabilit...
IPMI
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...