Sciweavers

1914 search results - page 219 / 383
» Abstract lambda-Calculus Machines
Sort
View
CSSE
2008
IEEE
14 years 2 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
IJCNN
2008
IEEE
14 years 2 months ago
Ranking and selecting clustering algorithms using a meta-learning approach
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
Marcílio Carlos Pereira de Souto, Ricardo B...
IJCNN
2008
IEEE
14 years 2 months ago
Long-term prediction of time series using NNE-based projection and OP-ELM
Abstract— This paper proposes a combination of methodologies based on a recent development –called Extreme Learning Machine (ELM)– decreasing drastically the training time of...
Antti Sorjamaa, Yoan Miche, Robert Weiss, Amaury L...
IJCNN
2008
IEEE
14 years 2 months ago
Learning adaptive subject-independent P300 models for EEG-based brain-computer interfaces
Abstract— This paper proposes an approach to learn subjectindependent P300 models for EEG-based brain-computer interfaces. The P300 models are first learned using a pool of exis...
Shijian Lu, Cuntai Guan, Haihong Zhang
TPHOL
2008
IEEE
14 years 2 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler