10156 search results - page 155 / 2032 » Step by Step to Histories |
186
click to vote
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
216
Voted
PODS
2010
ACM
15 years 9 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
187
click to vote
ACL
2008
15 years 8 months ago
2008
This paper proposes a novel method to extract named entities including unfamiliar words which do not occur or occur few times in a training corpus using a large unannotated corpus...
202
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
We propose an innovative, general purpose, method to the selection and hierarchical representation of key frames of a video sequence for video summarization. It is able to create a...
199
Voted
INFORSID
2008
15 years 8 months ago
2008
This paper deals with an acronym/definition extraction approach from textual data (corpora) and the disambiguation of these definitions (or expansions). Both steps of our global pr...