2911 search results - page 164 / 583 » A Theory of Expressiveness in Mechanisms |
168
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
181
click to vote
COGSCI
2006
15 years 6 months ago
2006
We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, q...
146
click to vote
AR
2002
15 years 6 months ago
2002
This paper analyzes the effects of the application of visual adaptation mechanisms on snapshot-based guidance methods. The guidance principle of the visual homing is proven to be a...
162
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
183
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...