8621 search results - page 1518 / 1725 » Design for interaction |
182
click to vote
DSVIS
2005
Springer
16 years 19 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...
176
click to vote
EPIA
2005
Springer
16 years 19 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 ...
195
click to vote
GECCO
2005
Springer
16 years 19 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...
133
click to vote
GECCO
2005
Springer
16 years 19 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...
165
click to vote
HIP
2005
Springer
16 years 19 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...