9028 search results - page 1438 / 1806 » Human-Computer Interaction Experiments |
174
click to vote
NAR
2006
15 years 7 months ago
2006
PHEPS (pH-dependent Protein Electrostatics Server) is a web service for fast prediction and experiment planning support, as well as for correlation and analysis of experimentally ...
196
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
Previous studies have shown that non-human primates can generate highly stochastic choice behaviour, especially when this is required during a competitive interaction with another...
212
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a fast, effective and flexible tone reproduction method that preserves visibility and contrast impression of high dynamic range scenes in low dynamic range reproduction...
326
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
211
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...