519 search results - page 63 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
EOR
2006
13 years 7 months ago
2006
We propose the use of scatter search with path relinking for the inference of phylogenetic trees. Solutions are here represented as trees whose leaves span the set of species unde...
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
14 years 2 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
ICCBR
1995
Springer
13 years 11 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
JAR
2011
13 years 2 months ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...