Sciweavers

4914 search results - page 643 / 983
» Arbitration of a help system
Sort
View
BPM
2006
Springer
133views Business» more  BPM 2006»
15 years 10 months ago
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun
CIT
2006
Springer
15 years 10 months ago
Voice Conversion by Prosody and Vocal Tract Modification
In this paper we proposed some flexible methods, which are useful in the process of voice conversion. The proposed methods modify the shape of the vocal tract system and the chara...
K. Sreenivasa Rao, B. Yegnanarayana
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 10 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
CASES
2001
ACM
15 years 10 months ago
The very portable optimizer for digital signal processors
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...
Sungjoon Jung, Yunheung Paek
197
Voted
COSIT
1995
Springer
117views GIS» more  COSIT 1995»
15 years 10 months ago
Providing Spatial Navigation for the World Wide Web
The World Wide Web (WWW) is a rapidly growing distributed hypertext on the Internet. This paper presents a way to enable users to navigate the WWW spatially by providing a spatial...
Andreas Dieberger