4278 search results - page 495 / 856 » Data prefetch mechanisms |
240
click to vote
Publication
We present a simple, effective generalisation of variable order Markov
models to full online Bayesian estimation. The mechanism used is close
to that employed in context tree wei...
200
click to vote
DASFAA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
187
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
194
click to vote
FCCM
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
197
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we present a new incremental learning strategy for handwritten character recognition systems. This learning strategy enables the recognition system to learn “rapi...