3207 search results - page 132 / 642 » A Semantics for HTN Methods |
IFL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
166
click to vote
AMCP
1998
Springer
15 years 2 months ago
1998
Springer
Automatic indexing to video data is in strong demand to cope with the increasing amount. We propose an automatic indexing method for television news video, which indexes to shots c...
100
click to vote
CCGRID
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
ER
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...