16:30 Generating and Validating Abstracts of Meeting Conversations: a User Study. Gabriel Murray, Giuseppe Carenini and Raymond Ng 16:30 - 16:45 Break Session 3: Sentence Level Gen...
VIENA Classroom is a collaborative hypermedia education system which is a component of the Virtual Interactive Environment for Workgroups (VIEW), a collaborative environment based...
Werner Winiwarter, Osami Kagawa, Shin'ichi Konomi,...
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
A crucial step toward the goal of automatic extraction of propositional information from natural language text is the identification of semantic relations between constituents in ...