3207 search results - page 55 / 642 » A Semantics for HTN Methods |
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
FM
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
JUCS
2002
13 years 9 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
The entity and relation recognition, i.e. (1) assigning semantic classes to entities in a sentence, and (2) determining the relations held between entities, is an important task in...
MEMOCODE
2003
IEEE
14 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...