146 search results - page 19 / 30 » Testing Finitary Probabilistic Processes |
DKE
2008
13 years 7 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
ISOLA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-In this paper we present a new scheme for brain imaginary movement invovles sophisticated spatial-temporalsignal processing and classification for electroencephalogram spe...
BMCBI
2007
13 years 7 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
F0 is an acoustic feature that varies largely from one speaker to another. F0 is characterized by a discontinuity in the transition between voiced and unvoiced sounds that present...