Sciweavers

1471 search results - page 88 / 295
» Church: a language for generative models
Sort
View
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 9 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
IPM
2007
123views more  IPM 2007»
15 years 6 months ago
Generating gene summaries from biomedical literature: A study of semi-structured summarization
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
Xu Ling, Jing Jiang, Xin He, Qiaozhu Mei, Chengxia...
NLE
2008
77views more  NLE 2008»
15 years 6 months ago
Generating basic skills reports for low-skilled readers
We describe SkillSum, a Natural Language Generation (NLG) system that generates a personalised feedback report for someone who has just completed a screening assessment of their b...
Sandra Williams, Ehud Reiter
AMW
2011
14 years 9 months ago
SNQL: A Social Networks Query and Transformation Language
Abstract. Social Network (SN) data has become ubiquitous, demanding advanced and flexible means to represent, transform and query such data. In addition to the intrinsic challenge...
Mauro San Martín, Claudio Gutierrez, Peter ...
CLEF
2000
Springer
15 years 10 months ago
Translation Resources, Merging Strategies, and Relevance Feedback for Cross-Language Information Retrieval
This paper describes the official runs of the Twenty-One group for the first CLEF workshop. The Twenty-One group participated in the monolingual, bilingual and multilingual tasks....
Djoerd Hiemstra, Wessel Kraaij, Renée Pohlm...