4075 search results - page 596 / 815 » Modeling Distributed Algorithm Using B |
183
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
This paper evaluates how much extended dictionary-based code compression techniques can reduce the static code size. In their simplest form, such methods statically identify ident...
149
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Anomalous windows are the contiguous groupings of data points. In this paper, we propose an approach for discovering anomalous windows using Scan Statistics for Linear Intersectin...
169
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
A key prerequisite for residential energy conservation is knowing when and where energy is being spent. Unfortunately, the current generation of energy reporting devices only prov...
185
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
151
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...