Sciweavers

17 search results - page 4 / 4
» A Complete Axiomatization for Blocks World
Sort
View
TASE
2008
IEEE
13 years 8 months ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
NAR
2007
145views more  NAR 2007»
13 years 8 months ago
HMDB: the Human Metabolome Database
The Human Metabolome Database (HMDB) is currently the most complete and comprehensive curated collection of human metabolite and human metabolism data in the world. It contains re...
David S. Wishart, Dan Tzur, Craig Knox, Roman Eisn...