406 search results - page 13 / 82 » Fast Increment Registers |
95
Voted
UAI
1997
1997
Incremental Pruning: A Simple, Fast, Exact Method for Partially Observable Markov Decision Processes
15 years 3 months ago
107
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
93
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
107
Voted
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
OneClassMaxMinOver (OMMO) is a simple incremental algorithm for one-class support vector classification. We propose several enhancements and heuristics for improving model select...
106
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We extend a recent Sparse Representation-based Classification (SRC) algorithm for face recognition to work on 2D images directly, aiming to reduce the computational complexity whil...