6045 search results - page 872 / 1209 » Computable Linearizations of Well-partial-orderings |
359
click to vote
ISVC
2009
Springer
16 years 5 days ago
2009
Springer
Bone mineral density (BMD) measurements and fracture analysis of the spine bones are restricted to the Vertebral bodies (VBs). In this paper, we present a novel and fast 3D segment...
199
Voted
CAV
2001
Springer
16 years 2 days ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
191
Voted
COCO
2001
Springer
16 years 2 days ago
2001
Springer
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
211
click to vote
ICLP
2001
Springer
16 years 22 hour ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
206
Voted
PKC
2001
Springer
16 years 11 hour ago
2001
Springer
At ISW’99, Nishioka, Hanaoka and Imai proposed a digital signature scheme on ID-based key-sharing infrastructures. That signature scheme is claimed to be secure if the discrete l...