Sciweavers

2624 search results - page 216 / 525
» On Business Process Model Transformations
Sort
View

Book
4675views
17 years 3 months ago
Mathematics of The Discrete Fourier Transform (DFT) with Audio Applications
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
Julius O. Smith III
WECWIS
2002
IEEE
124views ECommerce» more  WECWIS 2002»
15 years 11 months ago
Flexible Inter-Enterprise Workflow Management using E-Services
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
Jie Meng, Raja Krithivasan, Stanley Y. W. Su, Abde...
BPM
2010
Springer
126views Business» more  BPM 2010»
15 years 4 months ago
Symbolic Execution of Acyclic Workflow Graphs
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
Cédric Favre, Hagen Völzer
ICASSP
2011
IEEE
14 years 10 months ago
Front-end feature transforms with context filtering for speaker adaptation
Feature-space transforms such as feature-space maximum likelihood linear regression (FMLLR) are very effective speaker adaptation technique, especially on mismatched test data. In...
Jing Huang, Karthik Visweswariah, Peder A. Olsen, ...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab