Sciweavers

1201 search results - page 71 / 241
» Exact Analysis of Exact Change
Sort
View
TREC
2004
13 years 10 months ago
Question Answering with QED and Wee at TREC 2004
This report describes the experiments of the University of Edinburgh and the University of Sydney at the TREC-2004 question answering evaluation exercise. Our system combines two ...
Kisuh Ahn, Johan Bos, Stephen Clark, Tiphaine Dalm...
ICCS
2009
Springer
14 years 3 months ago
Time Acceleration Methods for Advection on the Cubed Sphere
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
R. K. Archibald, Katherine J. Evans, J. B. Drake, ...
EXACT
2007
13 years 11 months ago
PML 2: A Modular Explanation Interlingua
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da ...
AAAI
2004
13 years 10 months ago
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Don...
SFP
2004
13 years 10 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan