Sciweavers

7289 search results - page 1047 / 1458
» A Dependent Set Theory
Sort
View
JUCS
2002
110views more  JUCS 2002»
15 years 7 months ago
Generation of Constants and Synchronization of Finite Automata
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
Arto Salomaa
PUC
2002
135views more  PUC 2002»
15 years 7 months ago
SenToy in FantasyA: Designing an Affective Sympathetic Interface to a Computer Game
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...
Ana Paiva, Gerd Andersson, Kristina Höök...
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 7 months ago
Transfers between Logics and their Applications
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...
Marcelo E. Coniglio, Walter Alexandre Carnielli
TOMACS
2002
101views more  TOMACS 2002»
15 years 7 months ago
Efficient simulation of a tandem Jackson network
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...
Dirk P. Kroese, Victor F. Nicola
MLQ
2007
91views more  MLQ 2007»
15 years 7 months ago
Almost everywhere domination and superhighness
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...
Stephen G. Simpson
« Prev « First page 1047 / 1458 Last » Next »