920 search results - page 167 / 184 » Generating Satisfiable Problem Instances |
129
Voted
DLOG
2008
15 years 3 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
120
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
94
Voted
CF
2010
ACM
15 years 5 months ago
2010
ACM
Branches that depend directly or indirectly on load instructions are a leading cause of mispredictions by state-of-the-art branch predictors. For a branch of this type, there is a...
123
click to vote
BMCBI
2008
15 years 26 days ago
2008
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...
111
click to vote
DAM
2010
15 years 25 days ago
2010
Abstract. A set of phylogenetic trees with overlapping leaf sets is consistent if it can be merged without conflicts into a supertree. In this paper, we study the polynomial-time a...