11016 search results - page 691 / 2204 » Cloud Computing for Science |
195
click to vote
STACS
2009
Springer
16 years 2 months ago
2009
Springer
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...
170
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
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...
147
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
— 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...
182
Voted
FOCS
2009
IEEE
16 years 2 months ago
2009
IEEE
We provide a full characterization of applicability of The Local Consistency Checking algorithm to solving the non-uniform Constraint Satisfaction Problems. This settles the conje...
206
Voted
FOCS
2009
IEEE
16 years 2 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...