3367 search results - page 251 / 674 » Incremental assignment problem |
139
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
141
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
144
click to vote
AAIM
2005
Springer
15 years 9 months ago
2005
Springer
Let G be a undirected connected graph. Given a set of g groups each being a subset of V (G), tree routing and coloring is to produce g trees in G and assign a color to each of them...
167
click to vote
ROBOCUP
2004
Springer
15 years 9 months ago
2004
Springer
The existing reinforcement learning approaches have been suffering from the policy alternation of others in multiagent dynamic environments such as RoboCup competitions since othe...
126
click to vote
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...