Sciweavers

4516 search results - page 544 / 904
» Automated System Design for Availability
Sort
View
DILS
2005
Springer
16 years 10 days ago
Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
Oliver Fiehn, Gert Wohlgemuth, Martin Scholz
DSVIS
2005
Springer
16 years 10 days ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
16 years 10 days ago
Evolution of Voronoi based fuzzy recurrent controllers
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
Carlos Kavka, Patricia Roggero, Marc Schoenauer
SIGCSE
2004
ACM
125views Education» more  SIGCSE 2004»
16 years 7 days ago
Agent-based cooperative learning: a proof-of-concept experiment
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...
Leen-Kiat Soh, Hong Jiang, Charles Ansorge
ASP
2003
Springer
16 years 1 days ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...