5263 search results - page 159 / 1053 » Open Constraint Optimization |
146
Voted
JSAT
2010
14 years 10 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
149
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We present a novel algorithm aiming to estimate the 3D shape, the texture of a human face, along with the 3D pose and the light direction from a single photograph by recovering th...
128
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Voltage islanding technique in Network-on-Chip (NoC) can significantly reduce the computational energy consumption by scaling down the voltage levels of the processing elements (P...
120
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Searching for optimal ways in a network is an important task in multiple application areas such as social networks, co-citation graphs or road networks. In the majority of applicat...
160
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...