3928 search results - page 44 / 786 » order 2006 |
ENTCS
2006
13 years 10 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
JSYML
2007
13 years 9 months ago
2007
Abstract. To each computable enumerable (c.e.) set A with a particular enumeration {As}s∈ω, there is associated a settling function mA(x), where mA(x) is the last stage when a n...
MANSCI
2010
13 years 8 months ago
2010
Retail store managers may not follow order advices generated by an automated inventory replenishment system if their incentives differ from the cost minimization objective of the...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
The segmentation problem appears in most medical imaging applications. Many research groups are pushing toward a whole body segmentation based on atlases. With a similar objective,...
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
We present a novel ensemble pruning method based on reordering the classifiers obtained from bagging and then selecting a subset for aggregation. Ordering the classifiers generate...