3994 search results - page 50 / 799 » A Linear Logical Framework |
85
Voted
IGPL
1998
15 years 3 months ago
1998
73
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
173
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
122
Voted
WSC
2007
15 years 6 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
186
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...