5592 search results - page 964 / 1119 » On Random Betweenness Constraints |
221
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
226
click to vote
ISPD
2012
ACM
14 years 1 months ago
2012
ACM
We propose a new multilevel framework for large-scale placement called MAPLE that respects utilization constraints, handles movable macros and guides the transition between global...
159
click to vote
SBP
2012
Springer
14 years 1 months ago
2012
Springer
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
228
click to vote
JMLR
2012
13 years 8 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
214
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Spectrum sharing is an emerging mechanism to resolve the conflict between the spectrum scarcity and the growing demands for the wireless broadband access. In this paper we inve...