834 search results - page 53 / 167 » Research Documentation Guidelines - Capturing knowledge, imp... |
JLP
2007
14 years 11 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
106
click to vote
ECIR
1998
Springer
1998
Springer
Independence of Contributing Retrieval Strategies in Data Fusion for Effective Information Retrieval
15 years 1 months ago
: In information retrieval, data fusion is a technique for combining the outputs of more than one retrieval strategy which rank documents for retrieval. One of the observations oft...
135
click to vote
CIKM
2009
Springer
15 years 28 days ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
115
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Healthcare knowledge management is an active, yet not a well characterized research topic. In this chapter, we attempt to characterize healthcare knowledge management and...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...