5550 search results - page 862 / 1110 » Different Approaches to Proof Systems |
150
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
164
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
252
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
169
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Subsequence similarity matching in time series databases is an important research area for many applications. This paper presents a new approximate approach for automatic online s...
182
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
In this paper3 , we use Bayesian Networks as a means for unsupervised learning and anomaly (event) detection in gas monitoring sensor networks for underground coal mines. We show t...