1636 search results - page 128 / 328 » Type-Theoretic Functional Semantics |
132
Voted
HT
2007
ACM
15 years 7 months ago
2007
ACM
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
169
click to vote
LWA
2004
15 years 5 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
132
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
136
click to vote
JELIA
1990
Springer
15 years 7 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
139
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The most renowned biological ontology, Gene Ontology (GO) is widely used for annotations of genes and gene products of different organisms. However, there are shortcom...