2911 search results - page 141 / 583 » A Theory of Expressiveness in Mechanisms |
166
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
138
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
181
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
144
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We consider the El Farol bar problem, also known as the minority game W. B. Arthur, The American Economic Review, 842: 406 411 1994, D. Challet and Y.C. Zhang, Physica A, 256:514 ...
131
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...