Sciweavers

2583 search results - page 386 / 517
» On the Representation of Timed Polyhedra
Sort
View
GW
2005
Springer
141views Biometrics» more  GW 2005»
15 years 12 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...
ICLP
2005
Springer
15 years 12 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
LPNMR
2005
Springer
15 years 12 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven
RT
2005
Springer
15 years 12 months ago
Bidirectional Importance Sampling for Direct Illumination
Image-based representations for illumination can capture complex real-world lighting that is difficult to represent in other forms. Current importance sampling strategies for ima...
David Burke, Abhijeet Ghosh, Wolfgang Heidrich
SEKE
2005
Springer
15 years 12 months ago
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
Mads Ingstrup, Klaus Marius Hansen