Sciweavers

3319 search results - page 216 / 664
» Type Theoretical Databases
Sort
View
CSR
2008
Springer
15 years 19 days ago
The Most General Conservation Law for a Cellular Automaton
Abstract. We study the group-valued and semigroup-valued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroup-valued, group-valued and ...
Enrico Formenti, Jarkko Kari, Siamak Taati
DIS
2008
Springer
15 years 19 days ago
A Framework for Knowledge Discovery in a Society of Agents
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
Gauvain Bourgne, Vincent Corruble
101
Voted
CSR
2009
Springer
14 years 12 months ago
Approximability of the Maximum Solution Problem for Certain Families of Algebras
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
Peter Jonsson, Johan Thapper
FOCS
2008
IEEE
14 years 12 months ago
A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems
We consider random instances of constraint satisfaction problems where each variable has domain size O(1), each constraint is on O(1) variables and the constraints are chosen from...
Siu On Chan, Michael Molloy
84
Voted
CORR
2010
Springer
111views Education» more  CORR 2010»
14 years 11 months ago
Coordination and Bargaining over the Gaussian Interference Channel
This work considers coordination and bargaining between two selfish users over a Gaussian interference channel using game theory. The usual information theoretic approach assumes f...
Xi Liu, Elza Erkip