2911 search results - page 276 / 583 » A Theory of Expressiveness in Mechanisms |
202
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
201
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
185
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
182
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
158
click to vote
ADBIS
1997
Springer
15 years 10 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...