Sciweavers

2638 search results - page 298 / 528
» A Framework for Automatic Debugging
Sort
View
HICSS
2005
IEEE
130views Biometrics» more  HICSS 2005»
16 years 20 days ago
BiRD: A Strategy to Autonomously Supplement Clinical Practice Guidelines with Related Clinical Studies
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
Syed Sibte Raza Abidi, Michael Kershaw, Evangelos ...
AIRS
2005
Springer
16 years 18 days ago
VisMed: A Visual Vocabulary Approach for Medical Image Indexing and Retrieval
Voluminous medical images are generated daily. They are critical assets for medical diagnosis, research, and teaching. To facilitate automatic indexing and retrieval of large medic...
Joo-Hwee Lim, Jean-Pierre Chevallet
CVBIA
2005
Springer
16 years 18 days ago
3D Statistical Shape Models to Embed Spatial Relationship Information
Abstract. This paper presents the creation of 3D statistical shape models of the knee bones and their use to embed information into a segmentation system for MRIs of the knee. We p...
Jurgen Fripp, Pierrick Bourgeat, Andrea J. U. Mewe...
EUROPAR
2005
Springer
16 years 17 days ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
FASE
2005
Springer
16 years 17 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...