3319 search results - page 173 / 664 » Subshifts, Languages and Logic |
100
click to vote
AGI
2008
15 years 2 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
105
click to vote
ACS
2005
15 years 27 days ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
130
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
82
Voted
COLING
2000
15 years 2 months ago
2000
We present a new statistical language model based on a Colnbination of individual word language models. Each word model is built from an individual corpus which is formed by extra...