Sciweavers

3096 search results - page 90 / 620
» Theory and Use of the EM Algorithm
Sort
View
IWMM
2011
Springer
217views Hardware» more  IWMM 2011»
14 years 7 months ago
On the theory and potential of LRU-MRU collaborative cache management
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
Xiaoming Gu, Chen Ding
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 4 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
CADE
2009
Springer
16 years 5 months ago
Ground Interpolation for Combined Theories
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
Amit Goel, Sava Krstic, Cesare Tinelli
GECCO
2005
Springer
200views Optimization» more  GECCO 2005»
15 years 10 months ago
An extension of vose's markov chain model for genetic algorithms
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
Anna Paszynska
CVPR
2008
IEEE
16 years 6 months ago
Automatic symmetry plane estimation of bilateral objects in point clouds
In this paper, the problem of estimating automatically the symmetry plane of bilateral objects (having perfect or imperfect mirror symmetry) in point clouds is reexamined. Classic...
Benoît Combès, John Waddington, Neil ...