3207 search results - page 154 / 642 » A Semantics for HTN Methods |
124
click to vote
TLDI
2009
ACM
16 years 6 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
129
click to vote
AGILE
2008
Springer
15 years 9 months ago
2008
Springer
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
117
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
Anaphora occur commonly in natural language text, and resolving them is essential for capturing the knowledge encoded in text. Indirect anaphora are especially challenging to reso...
141
click to vote
AIMSA
2004
Springer
15 years 8 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
125
Voted
ICADL
2003
Springer
15 years 8 months ago
2003
Springer
There is an increasing need of development of automatic tools to annotate images for effective image searching in digital libraries. In this paper, we present a novel probabilistic...