Sciweavers

4166 search results - page 467 / 834
» Automating the constraining process
Sort
View
159
Voted
ICCBR
1997
Springer
15 years 9 months ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
AAAI
2006
15 years 6 months ago
Collective Construction Using Lego Robots
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
Crystal Schuil, Matthew Valente, Justin Werfel, Ra...
BMCBI
2007
91views more  BMCBI 2007»
15 years 5 months ago
A mass accuracy sensitive probability based scoring algorithm for database searching of tandem mass spectrometry data
Background: Liquid chromatography coupled with tandem mass spectrometry (LC-MS/MS) has become one of the most used tools in mass spectrometry based proteomics. Various algorithms ...
Hua Xu, Michael A. Freitas
VIROLOGY
2010
179views more  VIROLOGY 2010»
15 years 3 months ago
Automatic binary deobfuscation
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
Yoann Guillot, Alexandre Gazet
BMCBI
2010
126views more  BMCBI 2010»
15 years 2 months ago
Systematic integration of experimental data and models in systems biology
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
Peter Li, Joseph O. Dada, Daniel Jameson, Irena Sp...