Sciweavers

4353 search results - page 97 / 871
» Computational Challenges of Systems Biology
Sort
View
ENTCS
2008
110views more  ENTCS 2008»
15 years 6 months ago
Exploring an Option Space to Engineer a Ubiquitous Computing System
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
Michael D. Harrison, Christian Kray, José C...
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
15 years 10 months ago
Classifier systems that compute action mappings
The learning in a niche based learning classifier system depends both on the complexity of the problem space and on the number of available actions. In this paper, we introduce a ...
Pier Luca Lanzi, Daniele Loiacono
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ISM
2006
IEEE
113views Multimedia» more  ISM 2006»
16 years 13 days ago
Individualization and Flexibility through Computer Algebra Systems in Virtual Laboratories
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
Sabina Jeschke, Thomas Richter
ITS
2010
Springer
134views Multimedia» more  ITS 2010»
15 years 10 months ago
Learning to Argue Using Computers - A View from Teachers, Researchers, and System Developers
The ability to argue is essential in many aspects of life, but traditional face-to-face tutoring approaches do not scale up well. A solution for this dilemma may be computer-suppor...
Frank Loll, Oliver Scheuer, Bruce M. McLaren, Niel...