2635 search results - page 406 / 527 » Computing multihomogeneous resultants using straight-line pr... |
NIPS
2001
13 years 10 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
BMCBI
2008
13 years 9 months ago
2008
Background: GenBank flatfile (GBF) format is one of the most popular sequence file formats because of its detailed sequence features and ease of readability. To use the data in th...
GPEM
2002
13 years 8 months ago
2002
In this paper we use genetic programming for changing the representation of the input data for machine learners. In particular, the topic of interest here is feature construction i...
ICS
2007
Tsinghua U.
14 years 3 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
SPIN
2000
Springer
14 years 16 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...