3207 search results - page 294 / 642 » A Semantics for HTN Methods |
137
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
115
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
134
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
143
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
132
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we describe the functionality of a toolkit for sharing and long-term use of different types of geological data sets across disciplines. Our tools allow users to ...