Sciweavers

6960 search results - page 476 / 1392
» Continuity Analysis of Programs
Sort
View
FORTE
2004
15 years 7 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
NIPS
1998
15 years 7 months ago
A Polygonal Line Algorithm for Constructing Principal Curves
Principal curves have been defined as "self consistent" smooth curves which pass through the "middle" of a d-dimensional probability distribution or data cloud...
Balázs Kégl, Adam Krzyzak, Tam&aacut...
UAI
2000
15 years 7 months ago
Conversation as Action Under Uncertainty
Conversations abound with uncertainties of various kinds. Treating conversation as inference and decision making under uncertainty, we propose a task independent, multimodal archi...
Tim Paek, Eric Horvitz
HAIS
2008
Springer
15 years 7 months ago
Using CBR Systems for Leukemia Classification
The continuous advances in genomics, and specifically in the field of transcriptome, require novel computational solutions capable of dealing with great amounts of data. Each expre...
Juan M. Corchado, Juan Francisco de Paz
179
Voted
KES
2008
Springer
15 years 6 months ago
On the use of spiking neural network for EEG classification
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...
Piyush Goel, Honghai Liu, David J. Brown, Avijit D...