Sciweavers

9264 search results - page 427 / 1853
» Space Between Languages
Sort
View
EACL
1989
ACL Anthology
15 years 8 months ago
Translation By Structural Correspondences
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
Ronald M. Kaplan, Klaus Netter, Jürgen Wedeki...
EMNLP
2010
15 years 4 months ago
A Game-Theoretic Approach to Generating Spatial Descriptions
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
Dave Golland, Percy Liang, Dan Klein
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ICALP
2011
Springer
14 years 10 months ago
On the Semantics of Markov Automata
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
Yuxin Deng, Matthew Hennessy
ISMAR
2006
IEEE
16 years 26 days ago
Transitional interface: concept, issues and framework
Transitional Interfaces have emerged as a new way to interact and collaborate between different interaction spaces such as Reality, Virtual Reality and Augmented Reality. In this ...
Raphael Grasset, Julian Looser, Mark Billinghurst