Scratchpad's view of algebra II: A categorical view of factorization
- J.H. Davenport
- P. Gianni
- et al.
- 1991
- ISSAC 1991
Publications
Date
Featured collections
Popular topics
32 results for Barry Trager
Formalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Analysis and real-time prediction of local incident impact on transportation networks
- Yuye He
- Sebastien Blandin
- et al.
- 2014
- ICDMW 2014
A Riesz energy based approach to generating dispersed dot patterns for halftoning applications
- Chai Wah Wu
- Barry Trager
- et al.
- 2014
- CI-DPHA 2014
Hybrid halftoning using direct multi-bit search (DMS) screen algorithm
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2014
- CI-DPHA 2014
A GPU based implementation of Direct multi-bit search (DMS) screen algorithm
- Barry Trager
- Kartheek Chandu
- et al.
- 2013
- IS&T/SPIE Electronic Imaging 2013
Direct binary search (DBS) algorithm with constraints
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2013
- CI-DPHA 2013
A GPU implementation of color digital halftoning using the Direct Binary Search algorithm
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2012
- ISCAS 2012
GPU-enabled parallel processing for image halftoning applications
- Barry Trager
- Chai Wah Wu
- et al.
- 2011
- ISCAS 2011