2467 search results - page 396 / 494 » Finite State Machines |
112
Voted
SEUS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
81
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
We consider the question of how much information can be stored by labeling the vertices of a connected undirected graph G using a constant-size set of labels, when isomorphic label...
82
Voted
IJDMB
2011
14 years 7 months ago
2011
: Classification methods are vital for efficient access of knowledge hidden in biomedical publications. Support vector machines (SVMs) are modern non-parametric deterministic clas...
80
Voted
JLP
2010
14 years 7 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
84
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
A patient-specific seizure prediction algorithm is proposed that extracts novel multivariate signal coherence features from ECoG recordings and classifies a patient’s pre-seiz...