3319 search results - page 359 / 664 » Type Theoretical Databases |
116
Voted
FCT
2009
Springer
15 years 10 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
116
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
122
Voted
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Future Grid Networks should be able to provide Quality of Service (QoS) guarantees to their users. In this work we propose a framework for Grid Networks that provides deterministi...
144
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Putative brain processes responsible for understanding language are based on spreading activation in semantic networks, providing enhanced representations that involve c...
156
Voted
CSR
2007
Springer
15 years 10 months ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...