8587 search results - page 183 / 1718 » Interactive dynamic abstraction |
157
click to vote
ISWC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the development of several methods for the dynamic measurement of error distribution for positioning systems. When a user moves along a path at an unknown spe...
115
click to vote
HUC
2009
Springer
15 years 9 months ago
2009
Springer
Location-based ubiquitous computing systems are entering mainstream society and becoming familiar parts of everyday life. However, the settings in which they are deployed are alre...
141
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
In recent years scientific visualization has been driven by the need to visualize high-dimensional data sets within high-dimensional spaces. However most visualization methods ar...
116
Voted
DPPI
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we introduce a novel interface for exploring dynamic equilibria using the metaphor of a traditional balance scale. Rather than comparing and identifying physical weig...
124
click to vote
ENTCS
2008
15 years 4 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...