546 search results - page 62 / 110 » An Action Semantics for MML |
169
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
action from low level features to high level semantics. Owing to the proliferation of multimedia content in the internet, there is widespread interest in the semantic web community...
172
click to vote
ATVA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
171
click to vote
AIPS
2009
15 years 7 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
146
click to vote
SEMWEB
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. JeromeDL is a Semantic Digital Library engine. It uses Semantic Web and Social Networking technologies to improve browsing and searching for resources. With JeromeDL’s ...
173
click to vote
APN
1995
Springer
15 years 9 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...