2696 search results - page 226 / 540 » Semantic Abstraction and Anaphora |
212
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
158
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
173
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
167
Voted
TPHOL
2002
IEEE
15 years 11 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 ...
176
click to vote
IRFC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. As a low-cost ressource that is up-to-date, Wikipedia recently gains attention as a means to provide cross-language brigding for information retrieval. Contradictory to a...