8621 search results - page 1518 / 1725 » Design for interaction |
163
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
157
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...
172
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
111
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
146
click to vote
HIP
2005
Springer
16 years 1 days ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...