3172 search results - page 100 / 635 » On the Random-Self-Reducibility of Complete Sets |
124
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
List question answering (QA) offers a unique challenge in effectively and efficiently locating a complete set of distinct answers from huge corpora or the Web. In TREC-12, the med...
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
136
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
117
click to vote
VISUALIZATION
2002
IEEE
15 years 5 months ago
2002
IEEE
Weather radars can measure the backscatter from rain drops in the atmosphere. A complete radar scan provides three–dimensional precipitation information. For the understanding o...
105
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...