912 search results - page 85 / 183 » Abstract Saturation-Based Inference |
148
Voted
AAAI
1996
15 years 4 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 ...
107
click to vote
WCRE
2000
IEEE
15 years 7 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 ...
115
Voted
CIT
2004
Springer
15 years 6 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...
111
Voted
AVI
2010
15 years 4 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
206
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract-- Despite its promise, RFID technology presents numerous challenges, including incomplete data, lack of location and containment information, and very high volumes. In thi...