1059 search results - page 177 / 212 » Unification-Based Semantic Interpretation |
189
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
140
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
143
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
159
click to vote
ACL
1997
15 years 5 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
171
click to vote
BMCBI
2008
15 years 4 months ago
2008
Complexity of post-genomic data and multiplicity of mining strategies are two limits to Knowledge Discovery in Databases (KDD) in life sciences. Because they provide a semantic fr...