2828 search results - page 59 / 566 » Custom Local Search |
117
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
118
click to vote
AAAI
1998
15 years 3 months ago
1998
Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...
105
click to vote
TRANSCI
2008
15 years 2 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
169
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
113
click to vote
NAR
2010
14 years 9 months ago
2010
Alignment-based programs are valuable tools for finding potential homologs in genome sequences. Previously, it has been shown that partition function posterior probabilities attun...