Sciweavers

34 search results - page 2 / 7
» Opaque sets
Sort
View
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
13 years 11 months ago
Verification of K-step opacity and analysis of its complexity
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
Anooshiravan Saboori, Christoforos N. Hadjicostis
ICML
1997
IEEE
14 years 8 months ago
Automatic Rule Acquisition for Spelling Correction
This paper describes a new approach to automatically learning linguistic knowledge for spelling correction. A major feature of this approach is the fact that the acquired knowledg...
Lidia Mangu, Eric Brill
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
14 years 1 months ago
Opacity-enforcing supervisory strategies for secure discrete event systems
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
Anooshiravan Saboori, Christoforos N. Hadjicostis
GECCO
2010
Springer
186views Optimization» more  GECCO 2010»
13 years 8 months ago
Genetic rule extraction optimizing brier score
Most highly accurate predictive modeling techniques produce opaque models. When comprehensible models are required, rule extraction is sometimes used to generate a transparent mod...
Ulf Johansson, Rikard König, Lars Niklasson
IDA
2010
Springer
13 years 9 months ago
Oracle Coached Decision Trees and Lists
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...
Ulf Johansson, Cecilia Sönströd, Tuve L&...