Sciweavers

662 search results - page 100 / 133
» Computing the Temporal Structure of Events in Natural Langua...
Sort
View
78
Voted
ACL
2006
15 years 1 months ago
FAST - An Automatic Generation System for Grammar Tests
This paper introduces a method for the semi-automatic generation of grammar test items by applying Natural Language Processing (NLP) techniques. Based on manually-designed pattern...
Chia-Yin Chen, Hsien-Chin Liou, Jason S. Chang
97
Voted
SEMCO
2007
IEEE
15 years 6 months ago
Corpus-based Pattern Induction for a Knowledge-based Question Answering Approach
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
Philipp Cimiano, Michael Erdmann, Günter Ladw...
115
Voted
CVPR
2003
IEEE
16 years 2 months ago
Spacetime Stereo: Shape Recovery for Dynamic Scenes
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...
Li Zhang, Brian Curless, Steven M. Seitz
102
Voted
ICIDS
2009
Springer
15 years 7 months ago
Controlling Narrative Generation with Planning Trajectories: The Role of Constraints
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
Julie Porteous, Marc Cavazza
108
Voted
FOSSACS
2005
Springer
15 years 6 months ago
From Separation Logic to First-Order Logic
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
Cristiano Calcagno, Philippa Gardner, Matthew Hagu...