6431 search results - page 410 / 1287 » Model Building by Resolution |
207
click to vote
NAACL
1994
15 years 8 months ago
1994
The key problem to be faced when building a HMM-based continuous speech recogniser is maintaining the balance between model complexity and available training data. For large vocab...
143
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
171
click to vote
DSS
2007
15 years 6 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
192
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...