Sciweavers

1546 search results - page 193 / 310
» Context-Aware Computing with Sound
Sort
View
LICS
2009
IEEE
16 years 1 months ago
An Algebra for Kripke Polynomial Coalgebras
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
DALT
2009
Springer
16 years 28 days ago
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
Tran Cao Son, Chiaki Sakama
ESWS
2009
Springer
16 years 28 days ago
Who the Heck Is the Father of Bob?
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
Marko Luther, Thorsten Liebig, Sebastian Böhm...
SIGIR
2009
ACM
16 years 26 days ago
Personalized music emotion recognition
In recent years, there has been a dramatic proliferation of research on information retrieval based on highly subjective concepts such as emotion, preference and aesthetic. Such r...
Yi-Hsuan Yang, Yu-Ching Lin, Homer H. Chen
CDC
2008
IEEE
118views Control Systems» more  CDC 2008»
16 years 25 days ago
A density projection approach to dimension reduction for continuous-state POMDPs
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
Enlu Zhou, Michael C. Fu, Steven I. Marcus