1636 search results - page 143 / 328 » Type-Theoretic Functional Semantics |
141
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
147
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
127
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
141
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
135
Voted
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...