3207 search results - page 177 / 642 » A Semantics for HTN Methods |
159
Voted
CIVR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
125
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
123
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
128
Voted
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
117
Voted
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...