9521 search results - page 308 / 1905 » Compiling with continuations, continued |
155
click to vote
NAACL
1994
15 years 5 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...
116
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
134
click to vote
ADCM
1998
15 years 3 months ago
1998
Using the framework provided by Clifford algebras, we consider a noncommutative quotient-difference algorithm for obtaining the elements of a continued fraction corresponding to...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
136
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...