13603 search results - page 271 / 2721 » On the Computational Complexity of Cut-Reduction |
220
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
201
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider the use of Bayesian topic models in the analysis of computer network traffic. Our approach utilizes latent Dirichlet allocation and time-varying dynamic latent Dirich...
160
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
209
click to vote
LPNMR
1997
Springer
15 years 11 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
191
click to vote
HOTOS
1993
IEEE
15 years 11 months ago
1993
IEEE
Future large distributed systems will be made by interconnecting highly autonomous subsystems, rather than by building ever more elaborate complexes which attempt to provide a sin...