3319 search results - page 359 / 664 » Type Theoretical Databases |
144
click to vote
FCT
2009
Springer
16 years 1 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...
160
click to vote
SARA
2009
Springer
16 years 1 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...
165
click to vote
ESCIENCE
2007
IEEE
16 years 29 days 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...
180
click to vote
IJCNN
2007
IEEE
16 years 28 days 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...
198
click to vote
CSR
2007
Springer
16 years 24 days 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...