7393 search results - page 412 / 1479 » Synthesis-for-testability using transformations |
133
click to vote
ECCC
2010
15 years 5 months ago
2010
The IP theorem, which asserts that IP = PSPACE (Lund et. al., and Shamir, in J. ACM 39(4)), is one of the major achievements of complexity theory. The known proofs of the theorem ...
163
click to vote
KES
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a new classification technique of continuous EEG recordings, based on a network of spiking neurons. Human EEG signals published on the BCI Competition website w...
177
click to vote
NECO
2000
15 years 4 months ago
2000
We present a new method that we call Generalized Discriminant Analysis (GDA) to deal with nonlinear discriminant analysis using kernel function operator. The underlying theory is ...
118
click to vote
JMLR
2002
15 years 4 months ago
2002
We present a unified technique to solve different shallow parsing tasks as a tagging problem using a Hidden Markov Model-based approach (HMM). This technique consists of the incor...
171
click to vote
IAT
2010
IEEE
15 years 3 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...