3207 search results - page 162 / 642 » A Semantics for HTN Methods |
145
Voted
ENTCS
2007
15 years 3 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
142
click to vote
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a method for automatically annotating and retrieving animal images. Our model is a multi-modality ontology extended from our previous works in the sense that b...
156
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
136
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
238
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...