3207 search results - page 279 / 642 » A Semantics for HTN Methods |
126
click to vote
VVG
2003
15 years 6 months ago
2003
We report a novel method for logging and annotating video footage specifically for professional post-production and archivist end users. SALSA – Semi-Automated Logging with Sema...
138
Voted
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper examines efficient predictive broadcoverage parsing without dynamic programming. In contrast to bottom-up methods, depth-first top-down parsing produces partial parses ...
163
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a new content based image retrieval (CBIR) system combined with relevance feedback and the online feature selection procedures. A measure of inconsistency from...
126
click to vote
COLING
2010
14 years 11 months ago
2010
We propose a methodology for investigating how well NLP systems handle meaning preserving syntactic variations. We start by presenting a method for the semi automated creation of ...
221
Voted
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...