Sciweavers

1675 search results - page 298 / 335
» Compositional Model-Based Design
Sort
View
MMAS
2011
Springer
13 years 2 months ago
A Multiscale Method for Epitaxial Growth
In this paper we investigate a heterogeneous multiscale method (HMM) for interface tracking and apply the technique to the simulation of epitaxial growth. HMM relies on an efficien...
Yi Sun, Russel Caflisch, Björn Engquist
ICASSP
2011
IEEE
12 years 11 months ago
Investigation of acoustic units for LVCSR systems
One important issue in designing state-of-the-art LVCSR systems is the choice of acoustic units. Context dependent (CD) phones remain the dominant form of acoustic units. They can...
Xunying Liu, Mark John Francis Gales, Jim L. Hiero...
ICASSP
2011
IEEE
12 years 11 months ago
Polyphonic audio-to-score alignment based on Bayesian Latent Harmonic Allocation Hidden Markov Model
This paper presents a Bayesian method for temporally aligning a music score and an audio rendition. A critical problem in audio-toscore alignment is in dealing with the wide varie...
Akira Maezawa, Hiroshi G. Okuno, Tetsuya Ogata, Ma...
BPM
2011
Springer
270views Business» more  BPM 2011»
12 years 7 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
DAC
2011
ACM
12 years 7 months ago
Litmus tests for comparing memory consistency models: how long do they need to be?
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin