Sciweavers

34 search results - page 2 / 7
» Opaque sets
Sort
View
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
13 years 9 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 6 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»
13 years 11 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 6 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 6 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&...