Sciweavers

1968 search results - page 287 / 394
» The Complexity of Valued Constraint Models
Sort
View
ISBI
2006
IEEE
15 years 10 months ago
Nonuniform temporal alignment of slice sequences for four-dimensional imaging of cyclically deforming embryonic structures
The temporal alignment of nongated slice-sequences acquired at different axial positions in the living embryonic zebrafish heart permits the reconstruction of dynamic, three-dimen...
Michael Liebling, Julien Vermot, Arian S. Forouhar...
SAT
2009
Springer
91views Hardware» more  SAT 2009»
15 years 4 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
ICC
2008
IEEE
15 years 4 months ago
Evolution of Base Stations in Cellular Networks: Denser Deployment versus Coordination
Abstract— It has been demonstrated that base station cooperation can reduce co-channel interference (CCI) and increase cellular system capacity. In this work we consider another ...
Yifan Liang, Andrea J. Goldsmith, Gerard J. Foschi...
ISVLSI
2008
IEEE
142views VLSI» more  ISVLSI 2008»
15 years 4 months ago
A Fuzzy Approach for Variation Aware Buffer Insertion and Driver Sizing
In nanometer regime, the effects of process variations are dominating circuit performance, power and reliability of circuits. Hence, it is important to properly manage variation e...
Venkataraman Mahalingam, Nagarajan Ranganathan
NOMS
2008
IEEE
15 years 4 months ago
Utility-based placement of dynamic Web applications with fairness goals
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...
David Carrera, Malgorzata Steinder, Ian Whalley, J...