Sciweavers

732 search results - page 94 / 147
» Representation of Semantic Knowledge with Term Subsumption L...
Sort
View
WISE
2003
Springer
14 years 1 months ago
Ontology Generation from Tables
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
Yuri A. Tijerino, David W. Embley, Deryle W. Lonsd...
POPL
2010
ACM
14 years 5 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
IHI
2010
127views Healthcare» more  IHI 2010»
13 years 2 months ago
Using clinical preferences in argumentation about evidence from clinical trials
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
Anthony Hunter, Matthew Williams
HSNMC
2004
Springer
130views Multimedia» more  HSNMC 2004»
14 years 1 months ago
Benefits of Using Ontologies in the Management of High Speed Networks
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
Jorge E. López de Vergara, Víctor A....
CORR
2011
Springer
148views Education» more  CORR 2011»
12 years 11 months ago
Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation
This paper evaluates the different tasks carried out in the translation of pronominal anaphora in a machine translation (MT) system. The MT interlingua approach named AGIR (Anaph...
Antonio Ferrández, Jesús Peral