8917 search results - page 1414 / 1784 » Abstraction in Algorithm Animation |
152
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
155
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
147
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
134
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
185
click to vote
MCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...