Author: SRI International
-
Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories
In this paper, we expand PIMT to a lifted version that also processes random functions and relations.
-
Building Mathematical Identity After School: Results of a Cluster-Randomized Trial
This paper describes an afterschool program that is intended to connect math to realworld applications and to build math identity.
-
Computer Vision and Pattern Recognition Conference (CVPR)
While the quality of GAN image synthesis has improved tremendously in recent years, our ability to control and condition the output is still limited.
-

Alexander Kernbaum talks about Abacus Drive
Alexander Kernbaum talks about Abacus Drive, a unique new rotary transmission developed at SRI to improve the safety of robotics systems.







