We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Bayesian methods are valuable, inter alia, whenever there is a need to extract information from data that is uncertain or subject to any kind of error or noise (including measurem...
Tutoring systems are described as having two loops. The outer loop executes once for each task, where a task usually consists of solving a complex, multi-step problem. The inner lo...
In this paper the immune network system was presented by the sequence of species with new immunological components allowing more plausible to reflect the immune response processes....
Preamble-based cell identification (CID) schemes are derived for orthogonal frequency division multiplexing (OFDM) systems. They include the optimal schemes based on the Bayesian a...