3931 search results - page 600 / 787 » Separation logic and abstraction |
216
click to vote
DILS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
203
click to vote
ECCV
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
209
click to vote
FMCO
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
214
click to vote
GCB
2004
Springer
16 years 25 days ago
2004
Springer
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...
208
click to vote
GECCO
2004
Springer
16 years 25 days ago
2004
Springer
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...