Sciweavers

8512 search results - page 240 / 1703
» Computing Theory With Relevance
Sort
View
134
Voted
ORDER
2007
79views more  ORDER 2007»
15 years 4 months ago
Computable Linearizations of Well-partial-orderings
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
Antonio Montalbán
ALT
2003
Springer
16 years 2 months ago
On the Existence and Convergence of Computable Universal Priors
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
Marcus Hutter
141
Voted
EUROCAST
2005
Springer
92views Hardware» more  EUROCAST 2005»
15 years 10 months ago
Computation of Partial Automata Through Span Composition
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs Grp is given an...
Karina Roggia, Marnes Hoff, Paulo Blauth Menezes
DIGRA
2005
Springer
15 years 10 months ago
End of story? Quest, narrative and enactment in computer games
Espen Aarseth recently claimed that all games referred to as ’narrative games’ could better be described as ’quest games’. The writer of this paper suggests that Max Payne...
Anders Sundnes Løvlie
163
Voted
FOSSACS
2005
Springer
15 years 10 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore