4513 search results - page 833 / 903 » Logic programming with satisfiability |
115
click to vote
RSS
2007
15 years 3 months ago
2007
— Multi-robot systems require efficient and accurate planning in order to perform mission-critical tasks. However, algorithms that find the optimal solution are usually computa...
ACE
2004
15 years 3 months ago
2004
Over the past decade Australian and New Zealand educational institutions have experienced a rapid increase in the numbers of "New Arrivals" - immigrant and international...
110
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
107
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Polymerase chain reaction with confronting two-pair primers (PCR-CTPP) method produces allelespecific DNA bands of different lengths by adding four designed primers an...
103
click to vote
CN
2006
15 years 1 months ago
2006
Abstract-- Internal Border Gateway Protocol (IBGP) is responsible for distributing external reachability information, obtained via External-BGP (EBGP) sessions, within an autonomou...