Sciweavers

3047 search results - page 541 / 610
» A Temporal Consensus Model
Sort
View
AIIA
2005
Springer
15 years 7 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
COORDINATION
2005
Springer
15 years 7 months ago
A Case Study of Web Services Orchestration
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
Manuel Mazzara, Sergio Govoni
ECAL
2005
Springer
15 years 7 months ago
Timescale and Stability in Adaptive Behaviour
Recently, in both the neuroscience and adaptive behaviour communities, there has been growing interest in the interplay of multiple timescales within neural systems. In particular,...
Christopher L. Buckley, Seth Bullock, Netta Cohen
FSTTCS
2005
Springer
15 years 7 months ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
Ellie D'Hondt, Prakash Panangaden
GW
2005
Springer
141views Biometrics» more  GW 2005»
15 years 7 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...