1382 search results - page 67 / 277 » Formal Analysis of Online Algorithms |
175
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
187
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
156
click to vote
EAAI
2010
15 years 6 months ago
2010
: Qualitative trend analysis (QTA) is a process-history-based data-driven technique that works by extracting important features (trends) from the measured signals and evaluating th...
142
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
151
click to vote
ACL
1998
15 years 7 months ago
1998
We present an architecture and an on-line learning algorithm and apply it to the problem of part-ofspeech tagging. The architecture presented, SNOW, is a network of linear separat...