Sciweavers

2025 search results - page 255 / 405
» Minimal-Cut Model Composition
Sort
View
AIPS
2009
15 years 5 months ago
Extended Goals for Composing Services
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
Eirini Kaldeli, Alexander Lazovik, Marco Aiello
GG
2008
Springer
15 years 5 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
ICASSP
2010
IEEE
15 years 4 months ago
Audio forensics from acoustic reverberation
An audio recording is subject to a number of possible distortions and artifacts. For example, the persistence of sound, due to multiple reflections from various surfaces in a roo...
Hafiz Malik, Hany Farid
116
Voted
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 4 months ago
A Concrete Representation of Observational Equivalence for PCF
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...
Martin Churchill, James Laird, Guy McCusker
ENTCS
2010
127views more  ENTCS 2010»
15 years 4 months ago
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
Markus Lumpe