1382 search results - page 105 / 277 » Term ordering problem on MDG |
113
Voted
JCSS
2008
15 years 25 days 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...
97
Voted
NPL
2006
15 years 24 days 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 ...
76
Voted
SIGMETRICS
2008
ACM
15 years 23 days 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 ...
104
Voted
TKDE
2008
15 years 23 days 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...
89
Voted
JCO
2010
14 years 11 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...