46 search results - page 8 / 10 » Algorithms and Experimental Study for the Traveling Salesman... |
AI
2011
Springer
12 years 9 months ago
2011
Springer
Although propositional satisfiability (SAT) is NP-complete, state-of-the-art SAT solvers are able to solve large, practical instances. The concept of backdoors has been introduced...
EDBT
2012
ACM
11 years 8 months ago
2012
ACM
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...
ISSTA
2004
ACM
13 years 11 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
ICDE
2008
IEEE
14 years 7 months ago
2008
IEEE
Digital videos are increasingly adopted in various multimedia applications where they are usually broadcasted or transmitted as video streams. Continuously monitoring copies on the...