Sciweavers

2271 search results - page 323 / 455
» Scalable Software Libraries
Sort
View
115
Voted
AIME
2007
Springer
15 years 9 months 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...
117
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 9 months 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
146
Voted
CLEF
2007
Springer
15 years 9 months 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...
134
Voted
DAGM
2007
Springer
15 years 9 months 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...
130
Voted
FIMH
2007
Springer
15 years 9 months 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...