1312 search results - page 78 / 263 » Formally Optimal Boxing |
JAR
2011
13 years 4 months ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
EMSOFT
2011
Springer
12 years 9 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
The query optimizer of a database system is confronted with two aspects when handling user-defined functions (UDFs) in query predicates: the vast differences in evaluation costs b...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
This work focuses on several optimization problems involved in recovery of sparse solutions of linear inverse problems. Such problems appear in many fields including image and sig...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
In WiFi-based content distribution community infrastructure (CDCI), file servers are deployed in diverse locations around cities, caching popular files interesting to a communit...