1187 search results - page 64 / 238 » Graph-Based Procedural Abstraction |
144
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
167
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
Echo Instructions have recently been introduced to allow embedded processors to provide runtime decompression of LZ77-compressed programs at a minimal hardware cost compared to oth...
147
click to vote
TAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
150
click to vote
WABI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we propose a chaining method that can align a draft genomic sequence against a finished genome. We introduce the use of an overlap tree to enhance the state...
139
click to vote
AIIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...