Sciweavers

5634 search results - page 751 / 1127
» About Abstract Classes
Sort
View
GCB
2004
Springer
126views Biometrics» more  GCB 2004»
16 years 5 days ago
Proteochemometrics Modeling of Receptor-Ligand Interactions Using Rough Sets
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
H. Strömbergsson, Peteris Prusis, Herman Mide...
GECCO
2004
Springer
16 years 5 days ago
Limit Cycle Prediction in Multivariable Nonlinear Systems Using Genetic Algorithms
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...
Farzan Rashidi, Mehran Rashidi
GI
2004
Springer
16 years 5 days ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
GI
2004
Springer
16 years 5 days ago
Dynamical Vertical Integration of Distributed Java Components Using an Architecture Model
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
Alexander Prack, Ulf Schreier
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 5 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford