Sciweavers

10890 search results - page 75 / 2178
» Automatic Complexity Analysis
Sort
View
94
Voted
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 6 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
89
Voted
AAAI
2008
15 years 5 months ago
An Analysis of Transformational Analogy: General Framework and Complexity
Vithal Kuchibatla, Héctor Muñoz-Avil...
128
Voted
ECML
2007
Springer
15 years 4 months ago
Trajectory Analysis of Laboratory Tests as Medical Complex Data Mining
Shoji Hirano, Shusaku Tsumoto