2354 search results - page 143 / 471 » Assignment Problems |
142
Voted
JAL
2000
15 years 2 months ago
2000
The (unweighted) Maximum Satisfiability problem (MaxSat) is: given a boolean formula in conjunctive normal form, find a truth assignment that satisfies the most number of clauses....
124
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
In a parallel system with multiple CPUs, one of the key problems is to assign loop iterations to processors. This problem, known as the loop scheduling problem, has been studied i...
109
click to vote
EUSFLAT
2003
15 years 3 months ago
2003
In this paper we propose a random set framework for learning linguistic models for prediction problems. We show how we can model prediction problems based on learning linguistic p...
126
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Text categorization involves mapping of documents to a fixed set of labels. A similar but equally important problem is that of assigning labels to large corpora. With a deluge of ...
149
Voted
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...