Sciweavers

540 search results - page 80 / 108
» A Computational Logic Approach to Syllogisms in Human Reason...
Sort
View
CHI
2008
ACM
16 years 29 days ago
Grounded evaluation of information visualizations
We introduce grounded evaluation as a process that attempts to ensure that the evaluation of an information visualization tool is situated within the context of its intended use. ...
Petra Isenberg, Torre Zuk, Christopher Collins, M....
POPL
2012
ACM
13 years 8 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin
87
Voted
HAPTICS
2005
IEEE
15 years 6 months ago
Bi-Level and Anti-Aliased Rendering Methods for a Low-Resolution 2D Vibrotactile Array
We investigate rendering methods for 2D tactile arrays. We present four rendering methods, two of which are anti-aliased methods to improve display quality and smoothness. We desc...
Christoph W. Borst, Alp V. Asutay
191
Voted
GIS
2007
ACM
16 years 1 months ago
Environmental scenario search and visualization
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
Mikhail N. Zhizhin, Eric A. Kihn, Vassily Lyutsare...
GI
2009
Springer
15 years 5 months ago
Challenges of Electronic CAD in the Nano Scale Era
: Future nano scale devices will expose different characteristics than todays silicon devices. While the exponential growth of non recurring expenses (NRE, mostly due to mask sets)...
Christian Hochberger, Andreas Koch