( en | de | ru )

 

Disambiguation of "Thornton, Mitchell A."

Author of the publication

copydeleteadd this publication to your clipboard
A Method for Approximate Equivalence Checking.

, , and . ISMVL, page 447-452. IEEE Computer Society, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eleanor Thornton

Daniell Mitchell

Gail Mitchell

Sophia Thornton

Brian Mitchell

 

Other publications of authors with the same name

Automatic Modulation Classification with Deep Neural Networks., , and . CoRR, (2023)Rapid Ransomware Detection through Side Channel Exploitation., , and . CSR, page 47-54. IEEE, (2021)Industrial Control System Anomaly Detection Using Convolutional Neural Network Consensus., , , , , and . CCTA, page 693-700. IEEE, (2021)Automatic High Level Assertion Generation and Synthesis for Embedded System Design., , and . FDL, page 261-267. ECSI, (2007)Hardware Implementation of an Additive Bit-Serial Algorithm for the Discrete Logarithm Modulo 2k., , , and . ISVLSI, page 130-135. IEEE Computer Society, (2005)Impacts of Synthetically Generated Data on Trackformer-based Multi-Object Tracking., , , , and . AIPR, page 1-7. IEEE, (2023)Using Time Series Clustering to Inform Multimodal CNN Architectures., , , , and . AIPR, page 1-8. IEEE, (2023)Quantum Logic Implementation of Unary Arithmetic Operations., , , and . ISMVL, page 202-207. IEEE Computer Society, (2008)On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams., , and . ISMVL, page 138-143. IEEE Computer Society, (2008)Variable Reordering and Sifting for QMDD., , and . ISMVL, page 10. IEEE Computer Society, (2007)