Sciweavers

CDC
2008
IEEE
153views Control Systems» more  CDC 2008»
13 years 11 months ago
Closed-loop system identification with new sensors
This paper deals with system identification of new
Jan Dimon Bendtsen, Klaus Trangbaek, Jakob Stoustr...
ECAI
2010
Springer
14 years 16 days ago
Modelling Multilateral Negotiation in Linear Logic
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...
Daniele Porello, Ulle Endriss
POPL
1993
ACM
14 years 3 months ago
Formal Parametric Polymorphism
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
Martín Abadi, Luca Cardelli, Pierre-Louis C...