4806 search results - page 543 / 962 » Interactive uncertainty analysis |
171
click to vote
IV
2005
IEEE
16 years 14 days ago
2005
IEEE
The paper elaborates on the previous research on the analysis of temporal and spatio-temporal data done in statistical graphics and geo-visualization. We focus on the exploration ...
165
click to vote
CASSIS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
173
click to vote
MHCI
2005
Springer
16 years 11 days ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
163
click to vote
NORDICHI
2004
ACM
16 years 9 days ago
2004
ACM
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
204
click to vote
CAAN
2004
Springer
16 years 8 days ago
2004
Springer
Imagine a set of self-interested clients, each of whom must choose a server from a permissible set. A server’s latency is inversely proportional to its speed, but it grows linear...