2911 search results - page 275 / 583 » A Theory of Expressiveness in Mechanisms |
157
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
194
click to vote
LPAR
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
164
click to vote
ICADL
2003
Springer
15 years 12 months ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
193
Voted
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
193
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Optimal rate allocation in a networked control system with highly limited communication resources is instrumental to achieve satisfactory overall performance. In this p...