3207 search results - page 40 / 642 » A Semantics for HTN Methods |
LCTRTS
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
DLOG
2007
14 years 7 days ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper presents a method to infer hidden semantic cues by accumulating the knowledge learned from relevance feedback sessions. We propose to explicitly represent a semantic sp...
ICDE
2006
IEEE
14 years 4 months ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
ATAL
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We address the issue of semantics for an agent communication language. In particular, the semantics of Knowledge Query Manipulation Language (KQML) is investigated. KQML ...