2042 search results - page 61 / 409 » Variable Number of |
106
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
89
Voted
CSDA
2004
15 years 13 days ago
2004
A common approach to split selection in classification trees is to search through all possible splits generated by predictor variables. A splitting criterion is then used to evalu...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
109
click to vote
ASAP
2003
IEEE
15 years 5 months ago
2003
IEEE
With the advent of new video standards such as MPEG-4 part-10 and H.264/H.26L, demands for advanced video coding (AVC), particularly in area of variable block searching motion est...
113
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we present novel techniques that improve the computational and memory efficiency of algorithms for solving multi-label energy functions arising from discrete MRFs o...