3207 search results - page 38 / 642 » A Semantics for HTN Methods |
FM
2003
Springer
14 years 3 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
AH
2008
Springer
14 years 4 months ago
2008
Springer
Web browsing is a complex activity and in general, users are not guided during browsing. The aim of this research is to support the browsing of users using semantic and adaptive hy...
DASFAA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. The present web is existing in the HTML and XML formats for persons to browse. Recently there is a trend towards the semantic web where the information can be can be proc...
CIVR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we present an approach for the retrieval of natural scenes based on a semantic modeling step. Semantic modeling stands for the classification of local image regions...
SFM
2004
Springer
14 years 3 months ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...