1162 search results - page 193 / 233 » Monotonic Semantic Interpretation |
216
click to vote
WWW
2002
ACM
16 years 7 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 ...
172
click to vote
EMSOFT
2007
Springer
16 years 13 days 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...
171
click to vote
LICS
2002
IEEE
15 years 11 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...
184
click to vote
ACL
1997
15 years 7 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...
206
click to vote
BMCBI
2008
15 years 6 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...