Sciweavers

1977 search results - page 288 / 396
» Representing Views in XML
Sort
View
AIME
2003
Springer
15 years 12 months ago
VIE-DIAB: A Support Program for Telemedical Glycaemic Control
Ambulatory care supporting long-term treatment of type I diabetes mellitus (DM) is based on the analysis of daily notes of serum glucose measurements, carbohydrate intake, and insu...
Christian Popow, Werner Horn, Birgit Rami, Edith S...
AUSAI
2003
Springer
15 years 12 months ago
Information Extraction via Path Merging
Abstract. In this paper, we describe a new approach to information extraction that neatly integrates top-down hypothesis driven information with bottom-up data driven information. ...
Robert Dale, Cécile Paris, Marc Tilbrook
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 12 months ago
Convergence Testing in Term-Level Bounded Model Checking
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Se...
CVPR
2010
IEEE
15 years 12 months ago
Exploiting Global Connectivity Constraints for Reconstruction of 3D Line Segments from Images
Given a set of 2D images, we propose a novel approach for the reconstruction of straight 3D line segments that represent the underlying geometry of static 3D objects in the scene....
Arjun Jain, Christian Kurz, Thorsten Thormaehlen, ...
3DPVT
2002
IEEE
172views Visualization» more  3DPVT 2002»
15 years 11 months ago
3D objects visualization for remote interactive medical applications
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
Johan Montagnat, Eduardo Davila, Isabelle E. Magni...