3679 search results - page 503 / 736 » Hybrid Semantic Analysis |
167
click to vote
ENTCS
2010
15 years 6 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
164
click to vote
IAJIT
2006
15 years 6 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
149
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
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...
147
click to vote
APAL
2005
15 years 6 months ago
2005
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 ...
153
click to vote
IPL
2007
15 years 6 months ago
2007
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...