1969 search results - page 193 / 394 » Challenges in Enterprise Search |
DAGSTUHL
2001
13 years 9 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
SCANGIS
2003
13 years 9 months ago
2003
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...
CLEF
2010
Springer
13 years 8 months ago
2010
Springer
We present the RGAI systems which participated in the third Web People Search Task challenge. The chief characteristics of our approach are that we focus on the raw textual parts o...
PAA
2006
13 years 8 months ago
2006
Literature is one of the most significant forms of human culture. It represents a high level of intellectual activity. Humans write, read, and enjoy poems in different cultures. Th...
PVLDB
2008
13 years 7 months ago
2008
Archived web data is a great resource for scientific research, but poses serious challenges in data processing and management. We demonstrate the Web Lab Collaboration Server, a p...