12568 search results - page 2326 / 2514 » Selective user interaction |
126
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
103
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Developments in Mobile Computing are putting pressure on the software industry to research new modes of interaction that do not rely on the traditional keyboard and mouse combinat...
114
click to vote
CTW
2010
15 years 4 months ago
2010
This paper introduces a novel design for an automotive full-windshield Head-Up Display (HUD) interface which aims to improve the driver's spatial awareness and response times...
156
click to vote
ENTCS
2006
15 years 4 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
148
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...