Sciweavers

942 search results - page 124 / 189
» Cooperating Constraint Solvers
Sort
View
100
Voted
CP
2006
Springer
15 years 4 months ago
Boosting Open CSPs
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
Santiago Macho González, Carlos Ansó...
95
Voted
SIAMJO
2010
100views more  SIAMJO 2010»
14 years 7 months ago
Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
The sensor network localization, SNL , problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are ...
Nathan Krislock, Henry Wolkowicz
121
Voted
ICSE
2005
IEEE-ACM
16 years 24 days ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
69
Voted
ICCAD
2004
IEEE
134views Hardware» more  ICCAD 2004»
15 years 9 months ago
An analytic placer for mixed-size placement and timing-driven placement
We extend the APlace wirelength-driven standard-cell analytic placement framework of [21] to address timing-driven and mixedsize (“boulders and dust”) placement. Compared with...
Andrew B. Kahng, Qinke Wang
98
Voted
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
15 years 7 months ago
Prioritized optimization for task-space control
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
Martin de Lasa, Aaron Hertzmann