16216 search results - page 2853 / 3244 » Effective Modeling with Constraints |
134
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The general aim of the workshop is to explore the temporal aspects of work for Human-Computer Interaction (HCI). This position paper attempts to contribute to the exploration by p...
183
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
183
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
164
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we present the first average-case analysis proving an expected polynomial running time for an exact algorithm for the 0/1 knapsack problem. In particular, we prove,...
143
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...