Sciweavers

LOGCOM
2010
87views more  LOGCOM 2010»
13 years 10 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
Bart Jacobs, Ana Sokolova
ADBIS
2010
Springer
174views Database» more  ADBIS 2010»
14 years 1 months ago
Exploiting the Semantics of Location Granules in Location-Dependent Queries
Abstract. The need for location-based services has motivated an important research effort in the efficient processing of location-dependent queries. Most of the existing approaches...
Carlos Bobed, Sergio Ilarri, Eduardo Mena
ICLP
2010
Springer
14 years 3 months ago
Communicating Answer Set Programs
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
Kim Bauters, Jeroen Janssen, Steven Schockaert, Di...

Publication
207views
14 years 3 months ago
Wave Like an Egyptian — Accelerometer Based Gesture  Recognition for Culture Specific Interactions
The user’s behavior and his interpretation of interactions with others is influenced by his cultural background, which provides a number of heuristics or patterns of behavior and...
Matthias Rehm, Nikolaus Bee and Elisabeth André
GW
2005
Springer
141views Biometrics» more  GW 2005»
14 years 5 months ago
From Acoustic Cues to an Expressive Agent
This work proposes a new way for providing feedback to expressivity in music performance. Starting from studies on the expressivity of music performance we developed a system in wh...
Maurizio Mancini, Roberto Bresin, Catherine Pelach...