2131 search results - page 8 / 427 » A computational approximation to the AIXI model |
ICCAD
1999
IEEE
13 years 11 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
SIBGRAPI
2006
IEEE
14 years 1 months ago
2006
IEEE
In this work we address the problem of computing pointbased surface approximations from point clouds. Our approach is based on recently presented methods that define the approxim...
GIS
1999
ACM
13 years 11 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
SEC
1996
13 years 8 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...