Sciweavers

2602 search results - page 325 / 521
» Semantic Analysis of 'to'
Sort
View
CORR
2007
Springer
135views Education» more  CORR 2007»
15 years 6 months ago
Automatically Restructuring Practice Guidelines using the GEM DTD
This paper describes a system capable of semi-automatically filling an XML template from free texts in the clinical domain (practice guidelines). The XML template includes semanti...
Amanda Bouffier, Thierry Poibeau
APAL
2005
97views more  APAL 2005»
15 years 6 months ago
Polarized and focalized linear and classical proofs
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora ...
IPL
2007
78views more  IPL 2007»
15 years 6 months ago
Ensuring the quasi-termination of needed narrowing computations
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
J. Guadalupe Ramos, Josep Silva, Germán Vid...
BALT
2010
15 years 1 months ago
Interoperability Services for Models and Ontologies
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
Jürgen Ebert, Tobias Walter
SIGKDD
2010
136views more  SIGKDD 2010»
15 years 1 months ago
Tenth international workshop on multimedia data mining
In this report we provide a summary of the tenth Multimedia Data Mining Workshop that was held in conjunction with the 16th ACM SIGKDD International Conference on Knowledge Discov...
Valery A. Petrushin, Jia-Yu Pan, Cees G. M. Snoek