13383 search results - page 358 / 2677 » Abstractions from proofs |
142
Voted
CATS
2007
15 years 8 months ago
2007
d Abstract) Tomoyuki Yamakami Department of Computer Software, University of Aizu 90 Kami-Iawase, Tsuruga, Ikki-machi, Fukushima 965-8580, Japan Our task of quantum list decoding ...
205
click to vote
LREC
2010
15 years 8 months ago
2010
Abstract. This paper describes recent approaches using text-mining to automatically profile and extract arguments from legal cases. We outline some of the background context and mo...
197
click to vote
EDM
2008
15 years 8 months ago
2008
Abstract. Discovering knowledge from raw data is one of the goals of data mining. Yet, it is not always clear how this knowledge is used in educational computing systems and how ex...
150
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we report on a series of experiments investigating the path from text summarisation to style-specific summarisation of spoken news stories. We show that the...
185
click to vote
ACL
2000
15 years 8 months ago
2000
This paper reports the first part of a project that aims to develop a knowledge extraction and knowledge discovery system that extracts causal knowledge from textual databases. In...