3172 search results - page 100 / 635 » On the Random-Self-Reducibility of Complete Sets |
211
click to vote
SIGIR
2004
ACM
16 years 11 days 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...
178
Voted
SEMWEB
2004
Springer
16 years 9 days 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...
215
Voted
CAV
2003
Springer
16 years 5 days 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...
185
click to vote
VISUALIZATION
2002
IEEE
15 years 12 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...
198
Voted
APLAS
2000
ACM
15 years 11 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...