30 search results - page 3 / 6 » Two Techniques for Minimizing Resolution Proofs |
SSS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
SIGGRAPH
1990
ACM
14 years 2 months ago
1990
ACM
We presenta real-time robot motion plannerthatis fastandcomplete to a resolution. The technique is guaranteed to find a path if one exists at the resolution, and all paths returne...
LCPC
1993
Springer
14 years 3 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
ICIP
2003
IEEE
15 years 15 days ago
2003
IEEE
We propose a hierarchical disparity estimation algorithm with energy-based regularization. Initial disparity vectors are obtained from downsampled stereo images using a feature-ba...
CONCUR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...