8903 search results - page 121 / 1781 » Alternative |
112
Voted
HEURISTICS
2010
15 years 2 months ago
2010
236
click to vote
AAMAS
2011
Springer
15 years 3 days ago
2011
Springer
Abstract. The central question in mechanism design is how to implement a given social choice function. One of the most studied concepts is that of truthful implementations in which...
185
Voted
AMAST
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
184
Voted
CDC
2010
IEEE
15 years 2 days ago
2010
IEEE
This paper considers the synthesis of infinity norm Lyapunov functions for discrete-time linear systems. A proper conic partition of the state-space is employed to construct a fini...
95
Voted
JCNS
2011
15 years 15 hour ago
2011
