Sciweavers

1428 search results - page 31 / 286
» aim 2010
Sort
View
IEEECIT
2010
IEEE
13 years 5 months ago
The Development of Online Innovative Education Program in Our University
Grants are offered for faculty to develop technology courseware projects in universities including Hangzhou Dianzi University (HDU). One of the important factors in courseware deve...
Wei-hua Hu, Jiang-tao Du, Qi-li Zhou, Dao-ping Hon...
ISOLA
2010
Springer
13 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
KSEM
2010
Springer
13 years 5 months ago
A Formalism for Causal Explanations with an Answer Set Programming Translation
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
Yves Moinard
NAACL
2010
13 years 5 months ago
Towards Cross-Lingual Textual Entailment
This paper investigates cross-lingual textual entailment as a semantic relation between two text portions in different languages, and proposes a prospective research direction. We...
Yashar Mehdad, Matteo Negri, Marcello Federico
NAACL
2010
13 years 5 months ago
Generating Expository Dialogue from Monologue: Motivation, Corpus and Preliminary Rules
Generating expository dialogue from monologue is a task that poses an interesting and rewarding challenge for Natural Language Processing. This short paper has three aims: firstly...
Paul Piwek, Svetlana Stoyanchev