3207 search results - page 291 / 642 » A Semantics for HTN Methods |
160
click to vote
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
Applications that query into very large multidimensional datasets are becoming more common. Many self-describing scientific data file formats have also emerged, which have structu...
143
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
148
click to vote
ACL
2006
15 years 6 months ago
2006
Spoken language generation for dialogue systems requires a dictionary of mappings between semantic representations of concepts the system wants to express and realizations of thos...
169
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
140
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...