Conference paper
Training deep neural networks with 8-bit floating point numbers
Naigang Wang, Jungwook Choi, et al.
NeurIPS 2018
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator. © 1986, ACM. All rights reserved.
Naigang Wang, Jungwook Choi, et al.
NeurIPS 2018
William C. Carter, William H. Joyner, et al.
DAC 1979
Ewout van den Berg, Daniel Brand, et al.
INTERSPEECH 2015
Marcio Buss, Daniel Brand, et al.
Science of Computer Programming