4231 search results - page 439 / 847 » Using Language More Responsibly |
179
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
137
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Information systems research is concerned with complex imbroglios of human and non-human components. As researchers, we need ways to represent the intricacies of the different sta...
141
click to vote
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
Recent years have seen increasing interest in automatic metrics for the evaluation of generation systems. When a system can generate syntactic variation, automatic evaluation becom...
128
click to vote
LREC
2008
15 years 7 months ago
2008
The RITEL project aims to integrate a spoken language dialogue system and an open-domain information retrieval system in order to enable human users to ask a general question and ...
157
click to vote
WSC
1997
15 years 7 months ago
1997
This article describes how a manufacturing system with working people can be modeled and simulated, wherein the focus is on the organizational processes of the people itself. Expl...