Sciweavers

5608 search results - page 45 / 1122
» On the Theory of Matchgate Computations
Sort
View
TARK
2009
Springer
15 years 8 months ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow
BVAI
2007
Springer
15 years 7 months ago
Classification with Positive and Negative Equivalence Constraints: Theory, Computation and Human Experiments
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
Rubi Hammer, Tomer Hertz, Shaul Hochstein, Daphna ...
CIA
2006
Springer
15 years 5 months ago
Egalitarian Allocations of Indivisible Resources: Theory and Computation
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
Paul-Amaury Matt, Francesca Toni
SAT
2007
Springer
68views Hardware» more  SAT 2007»
15 years 7 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...