Sciweavers

3172 search results - page 100 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
124
Voted
SIGIR
2004
ACM
15 years 6 months ago
Effectiveness of web page classification on finding list answers
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...
Hui Yang, Tat-Seng Chua
SEMWEB
2004
Springer
15 years 6 months ago
An API for Ontology Alignment
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...
Jérôme Euzenat
136
Voted
CAV
2003
Springer
122views Hardware» more  CAV 2003»
15 years 6 months ago
Timed Control with Partial Observability
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...
Patricia Bouyer, Deepak D'Souza, P. Madhusudan, An...
VISUALIZATION
2002
IEEE
15 years 5 months ago
A Case Study on Multiresolution Visualization of Local Rainfall from Weather Radar Measurements
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...
Thomas Gerstner, Dirk Meetschen, Susanne Crewell, ...
APLAS
2000
ACM
15 years 5 months ago
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms
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...
Oukseh Lee, Kwangkeun Yi