3207 search results - page 252 / 642 » A Semantics for HTN Methods |
123
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
120
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The demand for automatically annotating and retrieving medical images is growing faster than ever. In this paper, we present a novel medical image retrieval method based on SEMIsu...
123
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
140
click to vote
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
146
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...