13913 search results - page 247 / 2783 » models 2007 |
161
Voted
BMCBI
2006
15 years 7 months ago
2006
Background: Biomedical literature, e.g., MEDLINE, contains a wealth of knowledge regarding functions of proteins. Major recurring biological concepts within such text corpora repr...
149
click to vote
BMCBI
2007
15 years 7 months ago
2007
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...
171
click to vote
MCS
2007
Springer
15 years 7 months ago
2007
Springer
A general finite element framework for the application to different types of phase transforming alloys and under general thermomechanical loadings is presented. The developed tec...
171
click to vote
ANOR
2004
15 years 7 months ago
2004
In this paper we introduce model-based search as a unifying framework accommodating some recently proposed metaheuristics for combinatorial optimization such as ant colony optimiza...
165
click to vote
APAL
2002
15 years 7 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...