9455 search results - page 338 / 1891 » The Modelling Language Zinc |
229
click to vote
TASLP
2008
15 years 6 months ago
2008
This paper describes an approach for computing a consensus translation from the outputs of multiple machine translation (MT) systems. The consensus translation is computed by weigh...
303
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
167
click to vote
EELC
2006
15 years 10 months ago
2006
Abstract. In this paper we introduce a model for the simulation of language evolution, which is incorporated in the New Ties project. The New Ties project aims at evolving a cultur...
160
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
177
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...