Sciweavers

180 search results - page 14 / 36
» heuristics 2011
Sort
View
ECOOP
2011
Springer
13 years 9 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller
JAIR
2011
187views more  JAIR 2011»
14 years 4 months ago
A Monte-Carlo AIXI Approximation
This paper describes a computationally feasible approximation to the AIXI agent, a universal reinforcement learning agent for arbitrary environments. AIXI is scaled down in two ke...
Joel Veness, Kee Siong Ng, Marcus Hutter, William ...
103
Voted
CORR
2011
Springer
188views Education» more  CORR 2011»
14 years 4 months ago
Digraph description of k-interchange technique for optimization over permutations and adaptive algorithm system
The paper describes a general glance to the use of element exchange techniques for optimization over permutations. A multi-level description of problems is proposed which is a fund...
Mark Sh. Levin
DCC
2011
IEEE
14 years 4 months ago
Scalar Quantization for Relative Error
Quantizers for probabilistic sources are usually optimized for mean-squared error. In many applications, maintaining low relative error is a more suitable objective. This measure ...
John Z. Sun, Vivek K. Goyal
MOC
2011
14 years 4 months ago
Local energy estimates for the finite element method on sharply varying grids
Abstract. Local energy error estimates for the finite element method for elliptic problems were originally proved in 1974 by Nitsche and Schatz. These estimates show that the loca...
Alan Demlow, Johnny Guzmán, Alfred H. Schat...