3207 search results - page 271 / 642 » A Semantics for HTN Methods |
145
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
171
click to vote
IFM
2004
Springer
15 years 10 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...
116
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
120
Voted
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
116
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...