2911 search results - page 275 / 583 » A Theory of Expressiveness in Mechanisms |
176
click to vote
ECAI
2004
Springer
16 years 26 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...
216
Voted
LPAR
2004
Springer
16 years 25 days 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...
184
click to vote
ICADL
2003
Springer
16 years 20 days 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 ...
221
Voted
AISC
2010
Springer
16 years 8 days 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...
220
click to vote
CDC
2009
IEEE
16 years 6 days 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...