Sciweavers

10271 search results - page 514 / 2055
» Computer Science
Sort
View
STACS
2009
Springer
16 years 1 months ago
On the Average Complexity of Moore's State Minimization Algorithm
Abstract. We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moo...
Frédérique Bassino, Julien David, Cy...
STACS
2009
Springer
16 years 1 months ago
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
Daniel Kirsten, Sylvain Lombardy
STACS
2009
Springer
16 years 1 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
CSE
2009
IEEE
16 years 1 months ago
Reinforcement Learning of Listener Response for Mood Classification of Audio
This paper describes a method of applying a reinforcement learning artificial intelligence to categorize audio files by mood based on listener response during a performance. The s...
Jack Stockholm, Philippe Pasquier
CSE
2009
IEEE
16 years 1 months ago
Virtually There: Exploring Proximity and Homophily in a Virtual World
— Virtual space eliminates the constraints of physical distances on communication and interaction. In this study, we examine the impact of offline proximity and homophily of play...
Yun Huang, Cuihua Shen, Dmitri Williams, Noshir S....