4460 search results - page 760 / 892 » Formal methods for interactive systems |
138
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
145
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
123
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The activity of proteins within the cell is characterized by their motions, flexibility, interactions or even the particularly intriguing case of partially unfolded st...
155
Voted
CGF
2010
15 years 3 months ago
2010
Molecular dynamics simulations are a principal tool for studying molecular systems. Such simulations are used to investigate molecular structure, dynamics, and thermodynamical pro...
157
Voted
AIED
2009
Springer
15 years 1 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...