9842 search results - page 93 / 1969 » Problem complexity |
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
The problem of efficiently evaluating a large collection of complex Boolean expressions
101
click to vote
CLIMA
2010
14 years 10 months ago
2010
When agents are acting together, they may need a simple mechanism to decide on joint actions. One possibility is to have the agents express their preferences in the form of a ballo...
ACL
2010
14 years 8 months ago
2010
Dominance links were introduced in grammars to model long distance scrambling phenomena, motivating the definition of multiset-valued linear indexed grammars (MLIGs) by Rambow (19...
JSAT
2007
14 years 9 months ago
2007
This paper is concerned with the complexity of some natural subclasses of minimal unsatisfiable formulas. We show the DP –completeness of the classes of maximal and marginal mi...
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...