88 search results - page 3 / 18 » Proving the Correctness of the STG Machine |
157
click to vote
CARDIS
1998
Springer
15 years 9 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
163
click to vote
COLT
1999
Springer
15 years 10 months ago
1999
Springer
We focus on methods to solve multiclass learning problems by using only simple and efficient binary learners. We investigate the approach of Dietterich and Bakiri [2] based on er...
136
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
156
click to vote
SOFSEM
2001
Springer
15 years 10 months ago
2001
Springer
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
138
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
We consider boosting algorithms that maintain a distribution over a set of examples. At each iteration a weak hypothesis is received and the distribution is updated. We motivate t...