1382 search results - page 105 / 277 » Term ordering problem on MDG |
153
Voted
JCSS
2008
15 years 4 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
121
click to vote
NPL
2006
15 years 4 months ago
2006
The correct assessment of meat quality (i.e., to fulfill the consumer's needs) is crucial element within the meat industry. Although there are several factors that affect the ...
120
Voted
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
143
click to vote
TKDE
2008
15 years 4 months ago
2008
This paper introduces a new method for supervised discretization based on interval distances by using a novel concept of neighborhood in the target's space. The proposed metho...
134
Voted
JCO
2010
15 years 3 months ago
2010
This paper considers an on-line scheduling problem occurred in a service system with two classes (normal and special) of customers and two types (dedicated and flexible) of serve...