2972 search results - page 175 / 595 » The generic information extraction system |
140
click to vote
TPHOL
2006
IEEE
15 years 12 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
190
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
160
click to vote
LREC
2008
15 years 7 months ago
2008
This paper introduces a new architecture that aims at combining molecular biology data with information automatically extracted from scientific literature (using text mining techn...
176
click to vote
HT
2009
ACM
15 years 3 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
141
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The objective of most users for consulting any information database, information warehouse or the internet is to resolve one problem or the other. Available online or offline anno...