593 search results - page 40 / 119 » Semantics-Preserving Procedure Extraction |
107
click to vote
TABLEAUX
1995
Springer
15 years 6 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
LREC
2008
15 years 4 months ago
2008
In this paper we investigate the coverage of the two knowledge sources WordNet and Wikipedia for the task of bridging resolution. We report on an annotation experiment which yield...
128
Voted
WCE
2007
15 years 4 months ago
2007
—The subject of extracting high-resolution data from low-resolution images is one of the most important digital processing applications in recent years, attracting much research....
123
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
To classify spectroscopic measurements it is necessary to have comparable methods of evaluation. In Terahertz (THz) time-domain spectroscopy, as a new technology, neither the pres...
122
click to vote
ISM
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, a multimodal unit detection framework to detect and extract units, a novel concept towards event detection and extraction in sports TV broadcasts, is proposed. The ...