1064 search results - page 186 / 213 » Exact Algorithms for the Quadratic Linear Ordering Problem |
142
click to vote
IOR
2007
15 years 3 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
148
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
135
Voted
MDM
2010
Springer
15 years 8 months ago
2010
Springer
—Location information is necessarily uncertain when objects are constantly moving. The cost can be high to maintain precise locations at the application server for all the object...
260
click to vote
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
A new multimedia disk scheduling algorithm, termed Cascaded-SFC, is presented. The Cascaded-SFC multimedia disk scheduler is applicable in environments where multimedia data reque...
143
click to vote
MIS
2004
Springer
15 years 9 months ago
2004
Springer
When similarity queries over multimedia databases are processed by splitting the overall query condition into a set of sub-queries, the problem of how to efficiently and effectiv...