Results 11 to 20 of about 3,246,226 (345)
Dance Video Motion Recognition Based on Computer Vision and Image Processing
Applied Artificial Intelligence, 2023 In recent years, motion recognition has become a hot research topic in the field of computer vision and has great research worth. Scholars and research institutions at home and abroad have made a lot of research and achieved good results.
Yawen Pang, Yi Niu
doaj +2 more sources
, 2014 Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, evolution, and novelty in the area of floating-point arithmetic. This field has made extraordinary progress since the initial software routines on mainframe computers have evolved into hardware ...
E. Swartzlander, C. Lemonds
semanticscholar +3 more sources
Incremental column-wise verification of arithmetic circuits using computer algebra [PDF]
Formal methods in system design, 2019 Verifying arithmetic circuits and most prominently multiplier circuits is an important problem which in practice still requires substantial manual effort. The currently most effective approach uses polynomial reasoning over pseudo boolean polynomials. In
Daniela Kaufmann +2 more
openalex +2 more sources
Some Formal Tools for Computer Arithmetic: Flocq and Gappa
IEEE Symposium on Computer Arithmetic, 2021 This invited paper presents two tools developed by the authors. Their purpose is to help the user in writing proofs regarding computer arithmetic, e.g., certifying a bound on a round-off error, while aiming at a high level of guarantee.
Sylvie Boldo, Guillaume Melquiond
openalex +3 more sources
AritPIM: High-Throughput In-Memory Arithmetic [PDF]
IEEE Transactions on Emerging Topics in Computing, 2022 Digital processing-in-memory (PIM) architectures are rapidly emerging to overcome the memory-wall bottleneck by integrating logic within memory elements. Such architectures provide vast computational power within the memory itself in the form of parallel
Orian Leitersdorf +5 more
semanticscholar +1 more source
The Arithmetic Optimization Algorithm
Computer Methods in Applied Mechanics and Engineering, 2021 This work proposes a new meta-heuristic method called Arithmetic Optimization Algorithm (AOA) that utilizes the distribution behavior of the main arithmetic operators in mathematics including (Multiplication ( M ), Division ( D ), Subtraction ( S ), and ...
L. Abualigah +6 more
semanticscholar +1 more source
Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference [PDF]
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2017 The rising popularity of intelligent mobile devices and the daunting computational cost of deep learning-based models call for efficient and accurate on-device inference schemes.
Benoit Jacob +7 more
semanticscholar +1 more source
Modern Computer Arithmetic (version 0.5.1) [PDF]
arXiv.org, 2010 This is a draft of a book about algorithms for performing arithmetic, and their implementation on modern computers. We are concerned with software more than hardware - we do not cover computer architecture or the design of computer hardware.
R. Brent, P. Zimmermann
semanticscholar +2 more sources
Exact real computer arithmetic with continued fractions
IEEE Trans. Computers, 1988 Jean Vuillemin
openalex +3 more sources
FIRE6: Feynman Integral REduction with modular arithmetic [PDF]
Computer Physics Communications, 2019 FIRE is a program performing reduction of Feynman integrals to master integrals. The C++ version of FIRE was presented in 2014. There have been multiple changes and upgrades since then including the possibility to use multiple computers for one reduction
Alexander V. Smirnov +2 more
semanticscholar +1 more source