Sciweavers

5393 search results - page 112 / 1079
» Spatial Computing with Labels
Sort
View
ICTAC
2004
Springer
14 years 3 months ago
A Calculus for Shapes in Time and Space
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
Andreas Schäfer
EMNLP
2010
13 years 8 months ago
What a Parser Can Learn from a Semantic Role Labeler and Vice Versa
In many NLP systems, there is a unidirectional flow of information in which a parser supplies input to a semantic role labeler. In this paper, we build a system that allows inform...
Stephen A. Boxwell, Dennis Mehay, Chris Brew