3994 search results - page 50 / 799 » A Linear Logical Framework |
65
Voted
IGPL
1998
15 years 3 days ago
1998
58
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
137
click to vote
SODA
2010
ACM
15 years 9 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...
93
Voted
WSC
2007
15 years 2 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...
153
click to vote
ATAL
2008
Springer
15 years 2 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 ...