Sciweavers

988 search results - page 157 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
ISMB
1993
13 years 12 months ago
Protein Classification Using Neural Networks
Wehave recently described a method based on Artificial Neural Networksto cluster protein sequences into families. The network was trained with Kohonen’s unsupervised-learning al...
Edgardo A. Ferrán, Pascual Ferrara, Bernard...
ASIAN
2009
Springer
308views Algorithms» more  ASIAN 2009»
13 years 11 months ago
Automated Security Proof for Symmetric Encryption Modes
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
Martin Gagné, Pascal Lafourcade, Yassine La...
DEDS
2006
119views more  DEDS 2006»
13 years 10 months ago
Diagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
Olivier Contant, Stéphane Lafortune, Demost...
IJCV
2008
167views more  IJCV 2008»
13 years 10 months ago
Learning Layered Motion Segmentations of Video
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
IBMRD
2006
58views more  IBMRD 2006»
13 years 10 months ago
Self-adapting numerical software (SANS) effort
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
Jack Dongarra, George Bosilca, Zizhong Chen, Victo...