13841 search results - page 365 / 2769 » Algorithms and Constraint Programming |
172
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
186
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...
173
click to vote
SIAMJO
2008
15 years 6 months ago
2008
Stochastic dominance constraints allow a decision-maker to manage risk in an optimization setting by requiring their decision to yield a random outcome which stochastically domina...
196
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
208
click to vote
LPAR
1992
Springer
15 years 11 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...