13913 search results - page 95 / 2783 » models 2007 |
BPM
2007
Springer
15 years 6 months ago
2007
Springer
104
click to vote
ICS
2007
Tsinghua U.
2007
Tsinghua U.
Modeling correlated workloads by combining model based clustering and a localized sampling algorithm
15 years 6 months ago
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
LANMR
2007
15 years 1 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...