71 search results - page 8 / 15 » The Isabelle Framework |
EWCBR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
MICCAI
1998
Springer
15 years 1 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
14 years 11 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...
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...