3116 search results - page 391 / 624 » Positively dependent types |
190
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We investigate techniques for visualizing time series data and evaluate their effect in value comparison tasks. We compare line charts with horizon graphs--a space-efficient time ...
187
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Clustering with constraints is an emerging area of data mining research. However, most work assumes that the constraints are given as one large batch. In this paper we explore the...
161
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Many important application areas of text classifiers demand high precision and it is common to compare prospective solutions to the performance of Naive Bayes. This baseline is us...
189
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
In this paper we present a system that electromagnetically tracks the positions and orientations of multiple wireless objects on a tabletop display surface. The system offers two ...
186
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...