368 search results - page 1 / 74 » Calculating an exceptional machine |
SFP
2004
14 years 7 days ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
COLT
1999
Springer
14 years 3 months ago
1999
Springer
—Support vector (SV) machines are linear classifiers that use the maximum margin hyperplane in a feature space defined by a kernel function. Until recently, the only bounds on th...
ENGL
2007
13 years 10 months ago
2007
—Calculations of iron losses in the electrical machines are normally based on experimental characteristics of core material used in the machines. These methods with simplified ma...
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...