Sciweavers

5995 search results - page 256 / 1199
» Algorithmic Game Theory
Sort
View
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
15 years 10 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
AGI
2008
15 years 8 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
SODA
2010
ACM
200views Algorithms» more  SODA 2010»
16 years 4 months ago
Algorithms for ray class groups and Hilbert class fields
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
Sean Hallgren, Kirsten Eisentraeger
SIAMMAX
2010
164views more  SIAMMAX 2010»
15 years 1 months ago
Uniqueness of Low-Rank Matrix Completion by Rigidity Theory
The problem of completing a low-rank matrix from a subset of its entries is often encountered in the analysis of incomplete data sets exhibiting an underlying factor model with app...
Amit Singer, Mihai Cucuringu
CCGRID
2008
IEEE
16 years 1 months ago
A Proactive Non-Cooperative Game-Theoretic Framework for Data Replication in Data Grids
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
Ali Elghirani, Riky Subrata, Albert Y. Zomaya