1642 search results - page 31 / 329 » A Heuristic Method for Business Process Model Evaluation |
141
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
183
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
133
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
108
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Spectral voice conversion is usually performed using a single model selected in order to represent a tradeoff between goodness of fit and complexity. Recently, we proposed a new ...
134
click to vote
RCIS
2010
15 years 2 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...