Sciweavers

9405 search results - page 232 / 1881
» Computing a Model of Set Theory
Sort
View
STOC
2003
ACM
141views Algorithms» more  STOC 2003»
16 years 4 months ago
Better streaming algorithms for clustering problems
We study clustering problems in the streaming model, where the goal is to cluster a set of points by making one pass (or a few passes) over the data using a small amount of storag...
Moses Charikar, Liadan O'Callaghan, Rina Panigrahy
JSSPP
2010
Springer
15 years 2 months ago
Resource Provisioning in SLA-Based Cluster Computing
Cluster computing is excellent for parallel computation. It has become increasingly popular. In cluster computing, a service level agreement (SLA) is a set of quality of services (...
Kaiqi Xiong, Sang C. Suh
ICPR
2002
IEEE
15 years 9 months ago
Mutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
Ildiko Suveg, George Vosselman
NIPS
2000
15 years 5 months ago
The Use of MDL to Select among Computational Models of Cognition
How should we decide among competing explanations of a cognitive process given limited observations? The problem of model selection is at the heart of progress in cognitive scienc...
In Jae Myung, Mark A. Pitt, Shaobo Zhang, Vijay Ba...
POPL
2009
ACM
16 years 5 months ago
A model of cooperative threads
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
Gordon D. Plotkin, Martín Abadi