42 search results - page 6 / 9 » Extensible Adaptation via Constraint Solving |
118
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...
125
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...
130
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
180
click to vote
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
134
click to vote
WCE
2007
15 years 4 months ago
2007
Abstract—Applications of the Particle Swarm Optimization (PSO) to solve image processing problem with a reference to a new automatic enhancement technique based on real-coded par...