3207 search results - page 302 / 642 » A Semantics for HTN Methods |
148
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
146
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Latent Semantic Analysis (LSA) has shown encouraging performance for the problem of unsupervised image automatic annotation. LSA conducts annotation by keywords propagation on a l...
162
click to vote
IFL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
134
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
129
Voted
ACL
2008
15 years 6 months ago
2008
We present a simple linguistically-motivated method for characterizing the semantic relations that hold between two nouns. The approach leverages the vast size of the Web in order...