3207 search results - page 315 / 642 » A Semantics for HTN Methods |
120
click to vote
IMPERIAL
1993
15 years 9 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
120
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
129
click to vote
EKAW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The central problems w.r.t. interoperability and data integration issues in the Semantic Web are schema and ontology matching approaches. Today it takes an expert to dete...
126
click to vote
FMSB
2008
15 years 6 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
146
click to vote
COLING
2008
15 years 6 months ago
2008
We conduct large-scale experiments to investigate optimal features for classification of verbs in biomedical texts. We introduce a range of feature sets and associated extraction ...