Sciweavers

3154 search results - page 34 / 631
» Computing Closed Skycubes
Sort
View
CIE
2010
Springer
14 years 1 months ago
Computational Interpretations of Analysis via Products of Selection Functions
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
Martín Hötzel Escardó, Paulo Ol...
SAGA
2007
Springer
14 years 3 months ago
On Computation and Communication with Small Bias
We present two results for computational models that allow error probabilities close to 1/2. First, most computational complexity classes have an analogous class in communication ...
Harry Buhrman
GC
2004
Springer
14 years 2 months ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
ENTCS
2008
106views more  ENTCS 2008»
13 years 9 months ago
Computability and Representations of the Zero Set
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
Pieter Collins
DAWAK
2006
Springer
14 years 16 days ago
On the Computation of Maximal-Correlated Cuboids Cells
The main idea of iceberg data cubing methods relies on optimization techniques for computing only the cuboids cells above certain minimum support threshold. Even using such approac...
Ronnie Alves, Orlando Belo