10715 search results - page 1774 / 2143 » Proofs from Tests |
204
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
184
click to vote
CSDA
2010
15 years 7 months ago
2010
A two component parametric mixture is proposed to model survival after an invasive treatment, when patients may experience different hazards regimes: a risk of early mortality dir...
244
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
194
click to vote
CSDA
2008
15 years 7 months ago
2008
A large body of evidence has emerged in recent studies confirming that macroeconomic factors play an important role in determining investor risk premia and the ultimate path of eq...
193
Voted
CSDA
2008
15 years 7 months ago
2008
Machine learning techniques are widely used in many fields. One of the applications of machine learning in the field of the information security is classification of a computer be...