6438 search results - page 1067 / 1288 » A Parameterised Search System |
147
click to vote
CLEF
2007
Springer
16 years 22 days ago
2007
Springer
We describe our system for the monolingual Dutch and multilingual English to Dutch QA tasks. First, we present a brief overview of our QA-system, which makes heavy use of syntacti...
176
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
144
click to vote
CSR
2007
Springer
16 years 22 days ago
2007
Springer
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
163
click to vote
DEXA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...
170
click to vote
ECUMN
2007
Springer
16 years 21 days ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...