1547 search results - page 16 / 310 » The Isabelle Collections Framework |
CLEF
2005
Springer
14 years 1 months ago
2005
Springer
For our second participation to the Question Answering task of CLEF, we kept last year’s system named MUSCLEF, which uses two translation strategies implemented in two modules. ...
MICCAI
1998
Springer
13 years 11 months ago
1998
Springer
We propose a new way of embedding shape distributions in a topological deformable template. These distributions rely on global shape descriptors corresponding to the 3D moment inva...
ALT
2010
Springer
13 years 9 months ago
2010
Springer
We address the problem of constructing randomized online algorithms for the Metrical Task Systems (MTS) problem on a metric against an oblivious adversary. Restricting our attenti...
WFLP
2009
Springer
14 years 2 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
We describe and evaluate a multi-objective optimisation (MOO) algorithm that works within the Probability Collectives (PC) optimisation framework. PC is an alternative approach to ...