3353 search results - page 568 / 671 » Laver and set theory |
PUC
2002
14 years 9 months ago
2002
We describe the design process of an affective control toy, named SenToy, used to control a synthetic character in a computer game. SenToy allows players1 to influence the emotion...
SLOGICA
2002
14 years 9 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
TOMACS
2002
14 years 9 months ago
2002
In this paper we consider a two-node tandem Jackson network. Starting from a given state, we are interested in estimating the probability that the content of the second buffer exc...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
MLQ
2007
14 years 9 months ago
2007
Let ω denote the set of natural numbers. For functions f, g : ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the st...