David Cox

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Wavefront Threading Enables Effective High-Level Synthesis.
Proc. ACM Program. Lang., 2024

The infrastructure powering IBM's Gen AI model development.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
CoRR, 2024

Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks.
CoRR, 2024

Virtual Reality in Theory-Based Intervention: Examining the Efficacy of a Theory-Based Virtual Reality Intervention to Promote Physical Activity.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2024

Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: EMNLP 2024, 2024

2023
Subresultants and the Shape Lemma.
Math. Comput., April, 2023

Rapid Development of Compositional AI.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2016
Syntactically Informed Text Compression with Recurrent Neural Networks.
CoRR, 2016

Delta Epsilon Alpha Star: A PAC-Admissible Search Algorithm.
CoRR, 2016

\upmu Proxy: A Hardware Relay for Anonymous and Secure Internet Access.
Proceedings of the Radio Frequency Identification and IoT Security, 2016

2008
Design of the Java HotSpot™ client compiler for Java 6.
ACM Trans. Archit. Code Optim., 2008

Revealing sequence variation patterns in rice with machine learning methods.
BMC Bioinform., 2008

2007
Novel Methods of Fabrication and Metrology of Superconducting NanoStructures.
IEEE Trans. Instrum. Meas., 2007

Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2004
A Low Voltage to High Voltage Level Shifter in a Low Voltage, 0.25 µm, PD SOI Process.
Proceedings of the 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), 2004

1996
Symbolic calculus for volumetric reasoning about process plans.
Artif. Intell. Eng. Des. Anal. Manuf., 1996

1982
Speech processing using programmable VLSI.
Proceedings of the IEEE International Conference on Acoustics, 1982


  Loading...