718 search results - page 31 / 144 » Extraction of Structured Programs from Specification Proofs |
JAMIA
2010
13 years 3 months ago
2010
Objective The authors used the i2b2 Medication Extraction Challenge to evaluate their entity extraction methods, contribute to the generation of a publicly available collection of...
VIS
2007
IEEE
14 years 10 months ago
2007
IEEE
Abstract-- This paper describes a novel method for creating surface models of multi-material components using dual energy computed tomography (DECT). The application scenario is me...
AIIA
2007
Springer
14 years 2 months ago
2007
Springer
We present two algorithms for supporting semi-automatic ontology building, integrated in WPro, a new architecture for ontology learning from Web documents. The first algorithm auto...
FOAL
2009
ACM
14 years 17 days ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
ICVGIP
2004
13 years 10 months ago
2004
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...