Sciweavers

403 search results - page 36 / 81
» A testing scenario for probabilistic processes
Sort
View
DKE
2008
85views more  DKE 2008»
15 years 1 months ago
On automatic knowledge validation for Bayesian knowledge bases
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...
Eugene Santos Jr., Hang T. Dinh
ISOLA
2004
Springer
15 years 6 months ago
Case Studies with Lurette V2
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...
Erwan Jahier, Pascal Raymond, Philippe Baufreton
GVD
2004
107views Database» more  GVD 2004»
15 years 2 months ago
Conflation Methods and Spelling Mistakes - A Sensitivity Analysis in Information Retrieval
In some information retrieval scenarios, for example internal help desk systems, texts are entered into the document collection without proofreading. This can result in a relative...
Philipp Dopichaj, Theo Härder
ISCAS
2006
IEEE
116views Hardware» more  ISCAS 2006»
15 years 7 months ago
Signal processing for brain-computer interface: enhance feature extraction and classification
Abstract-In this paper we present a new scheme for brain imaginary movement invovles sophisticated spatial-temporalsignal processing and classification for electroencephalogram spe...
Haihong Zhang, Cuntai Guan, Yuanqing Li
BMCBI
2007
215views more  BMCBI 2007»
15 years 1 months ago
Learning causal networks from systems biology time course data: an effective model selection procedure for the vector autoregres
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...
Rainer Opgen-Rhein, Korbinian Strimmer