1096 search results - page 101 / 220 » Abstract Canonical Inference |
SCAM
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
117
click to vote
AAAI
1996
14 years 11 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
CIT
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...