7820 search results - page 1284 / 1564 » Formalization of Time and Space |
179
click to vote
DEXA
2005
Springer
16 years 6 days ago
2005
Springer
The main challenge of mining sequential patterns is the high processing cost of support counting for large amount of candidate patterns. For solving this problem, SPAM algorithm wa...
197
click to vote
DSOM
2005
Springer
16 years 6 days ago
2005
Springer
Threshold crossing alerts (TCAs) indicate to a management system that a management variable, associated with the state, performance or health of the network, has crossed a certain ...
172
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
147
click to vote
EUROPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
188
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...