1421 search results - page 201 / 285 » Satisfying KBO Constraints |
138
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
158
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...
151
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
Primer approximation multiplex PCR (PAMP) is a new experimental protocol for efficiently assaying structural variation in genomes. PAMP is particularly suited to cancer genomes w...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...