Sciweavers

485 search results - page 80 / 97
» Easy Keys for OWL
Sort
View
KDD
2009
ACM
187views Data Mining» more  KDD 2009»
14 years 10 months ago
New ensemble methods for evolving data streams
Advanced analysis of data streams is quickly becoming a key area of data mining research as the number of applications demanding such processing increases. Online mining when such...
Albert Bifet, Bernhard Pfahringer, Geoffrey Holmes...
CHI
2007
ACM
14 years 10 months ago
ExperiScope: an analysis tool for interaction data
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
François Guimbretière, Ken Hinckley,...
SIGMOD
2005
ACM
127views Database» more  SIGMOD 2005»
14 years 9 months ago
Fossilized Index: The Linchpin of Trustworthy Non-Alterable Electronic Records
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
Qingbo Zhu, Windsor W. Hsu
SIGMOD
2004
ACM
126views Database» more  SIGMOD 2004»
14 years 9 months ago
Indexing Spatio-Temporal Trajectories with Chebyshev Polynomials
In this paper, we attempt to approximate and index a ddimensional (d 1) spatio-temporal trajectory with a low order continuous polynomial. There are many possible ways to choose ...
Yuhan Cai, Raymond T. Ng
POPL
2010
ACM
14 years 7 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala