400 search results - page 65 / 80 » Derandomization and Distinguishing Complexity |
165
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
An instance of the maximum constraint satisfaction problem (Max CSP) is a nite collection of constraints on a set of variables, and the goal is to assign values to the variables ...
161
click to vote
NN
2000
Springer
15 years 1 months ago
2000
Springer
The proper functioning of the nervous system depends critically on the intricate network of synaptic connections that are generated during the system development. During the netwo...
116
click to vote
IJIS
2002
15 years 1 months ago
2002
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
104
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
135
click to vote
JAIR
2010
15 years 10 days ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...