1746 search results - page 42 / 350 » A linear implementation of PACMAN |
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
CAV
2006
Springer
14 years 24 days ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
ADBIS
2008
Springer
13 years 11 months ago
2008
Springer
In many problems the raw data is already classified according to a variety of features using some linear classification algorithm but needs to be reclassified. We introduce a novel...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
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, ...
ESORICS
2010
Springer
13 years 9 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...