Sciweavers

1219 search results - page 104 / 244
» Verification of Equivalent-Results Methods
Sort
View
ASPDAC
2007
ACM
144views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Parameter Reduction for Variability Analysis by Slice Inverse Regression (SIR) Method
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...
Alexander V. Mitev, Michael Marefat, Dongsheng Ma,...
DPHOTO
2010
208views Hardware» more  DPHOTO 2010»
13 years 11 months ago
A signature analysis based method for elliptical shape
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
Ivana Guarneri, Mirko Guarnera, Giuseppe Messina, ...
SIAMCO
2008
121views more  SIAMCO 2008»
13 years 10 months ago
A Direct Solution Method for Stochastic Impulse Control Problems of One-dimensional Diffusions
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...
Masahiko Egami
ICDE
2008
IEEE
192views Database» more  ICDE 2008»
14 years 11 months ago
Verifying and Mining Frequent Patterns from Large Windows over Data Streams
Mining frequent itemsets from data streams has proved to be very difficult because of computational complexity and the need for real-time response. In this paper, we introduce a no...
Barzan Mozafari, Hetal Thakkar, Carlo Zaniolo
APSEC
2001
IEEE
14 years 1 months ago
Tailoring and Verifying Software Process
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae