Sciweavers

5246 search results - page 164 / 1050
» Sanitization models and their limitations
Sort
View
EVOW
2008
Springer
15 years 1 months ago
Evolving an Automatic Defect Classification Tool
Automatic Defect Classification (ADC) is a well-developed technology for inspection and measurement of defects on patterned wafers in the semiconductors industry. The poor training...
Assaf Glazer, Moshe Sipper
ESANN
2006
15 years 1 months ago
Bayesian source separation: beyond PCA and ICA
Blind source separation (BSS) has become one of the major signal and image processing area in many applications. Principal component analysis (PCA) and Independent component analys...
Ali Mohammad-Djafari
WSC
2004
15 years 1 months ago
Simulated Annealing for Selection of Experimental Regions in Response Surface Methodology Applications
In this paper we describe a methodology that includes the complementary use of simulated annealing and response surface methodology (RSM). The methodology was developed for analys...
Jeffrey B. Schamburg, Donald E. Brown
ENTCS
2006
123views more  ENTCS 2006»
14 years 11 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
ENTCS
2008
97views more  ENTCS 2008»
14 years 10 months ago
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
Li Su, Howard Bowman, Philip Barnard