3207 search results - page 493 / 642 » A Semantics for HTN Methods |
215
click to vote
GIS
2006
ACM
16 years 6 months ago
2006
ACM
The large amount of patterns generated by frequent pattern mining algorithms has been extensively addressed in the last few years. In geographic pattern mining, besides the large ...
151
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
136
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...
131
Voted
WWW
2002
ACM
16 years 5 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
135
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents new methods for automatically integrating, summarizing and evaluating multimedia knowledge. These are essential for multimedia applications to efficiently and ...