3082 search results - page 365 / 617 » Deviation Analysis: A New Use of Model Checking |
144
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
In this paper, a new systematic method to segment possible target areas based on wavelet transforms is presented. We develop an analytic model for the segmentation of targets, whi...
169
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
3D freehand ultrasound imaging is becoming a widespread technique in medical examinations. This imaging technique produces a set of irregularly spaced B-scans. Reconstructing a reg...
188
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Accurately evaluating statistical independence among random variables is a key component of Independent Component Analysis (ICA). In this paper, we employ a squared-loss ...
161
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
165
click to vote
ADBIS
2006
Springer
16 years 16 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...