58 search results - page 7 / 12 » Satisfiability and Computing van der Waerden Numbers |
197
click to vote
PE
2011
Springer
14 years 4 months ago
2011
Springer
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
118
click to vote
SMA
2009
ACM
15 years 4 months ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...
64
Voted
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular game on some form is instantiated by partitioning ...
DICTA
2009
14 years 7 months ago
2009
A number of problems in computer vision require the estimation of a set of matrices, each of which is defined only up to an individual scale factor and represents the parameters of...