Sciweavers

2271 search results - page 323 / 455
» Scalable Software Libraries
Sort
View
AIME
2007
Springer
16 years 16 days ago
A Concept-Based Framework for Retrieving Evidence to Support Emergency Physician Decision Making at the Point of Care
The goal of evidence-based medicine is to uniformly apply evidence gained from scientific research to aspects of clinical practice. In order to achieve this goal, new applications...
Dympna O'Sullivan, Ken Farion, Stan Matwin, Wojtek...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 16 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CLEF
2007
Springer
16 years 16 days ago
Priberam's Question Answering System in QA@CLEF 2007
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...
Carlos Amaral, Adán Cassan, Helena Figueira...
DAGM
2007
Springer
16 years 16 days ago
Curvature Guided Level Set Registration Using Adaptive Finite Elements
Abstract. We consider the problem of non-rigid, point-to-point registration of two 3D surfaces. To avoid restrictions on the topology, we represent the surfaces as a level-set of t...
Andreas Dedner, Marcel Lüthi, Thomas Albrecht...
FIMH
2007
Springer
16 years 15 days ago
Open-Source Environment for Interactive Finite Element Modeling of Optimal ICD Electrode Placement
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
Matthew Jolley, Jeroen Stinstra, David M. Weinstei...