Information & computer science publications
-
Building Code for the Internet of Things
In this document, we focus on the challenges associated with composing systems, rather than building individual programs or devices.
-
FHE over the Integers: Decomposed and Batched in the Post-Quantum Regime
We propose a comprehensive study of applying third generation FHE techniques to the regime of FHE-OI. We present and analyze a third generation FHE-OI based on decisional AGCD without the…
-
Optimization of Bootstrapping in Circuits
We formally define the bootstrap problem, design a polynomial-time L-approximation algorithm using a novel method of rounding of a linear program, and show a matching hardness result: (L — epsilon) - inapproximability for any epsilon…
-
Assessment and Content Authoring in Semantic Virtual Environments
This paper presents an approach to training in VEs that directly addresses these challenges and summarizes its application to a weapons maintenance task.
-
Sub-Meter Vehicle Navigation Using Efficient Pre-Mapped Visual Landmarks
This paper presents a vehicle navigation system that is capable of achieving sub-meter GPS-denied navigation accuracy in large-scale urban environments, using pre-mapped visual landmarks.
-
Probabilistic Inference Modulo Theories
We present SGDPLL(T ), an algorithm that solves probabilistic inference modulo theories, that is, inference problems over probabilistic models defined via a logic theory provided as a parameter.
-
Analyzing hyperspectral images into multiple subspaces using Gaussian mixture models
I argue that the spectra in a hyperspectral datacube will usually lie in several low-dimensional subspaces, and that these subspaces are more easily estimated from the data than the endmembers.
-
Spatial and Temporal Patterns in Preterm Birth in the United States
In order to help generate new research hypotheses, this study explored spatial and temporal patterns of preterm birth in a large, total-population dataset.
-
Snap-N-Eat: Food Recognition and Nutrition Estimation on a Smartphone
We present snap-n-eat, a mobile food recognition system. The system can recognize food and estimate the calorific and nutrition content of foods automatically without any user intervention.
-
A Cross-language Study on Automatic Speech Disfluency Detection
We investigate two systems for automatic disfluency detection on English and Mandarin conversational speech data. The first system combines various lexical and prosodic features in a Conditional Random Field model for…
-
Anomaly Detection and Diagnosis for Automatic Radio Network Verification
This paper focuses on the verification problem, proposing a novel framework that uses anomaly detection and diagnosis techniques that operate within a specified spatial scope.
-
Reasoning About Interruption of Biological Processes
Our work is motivated by the vision of automated asking and answering of questions related to a biology textbook—a capability which requires application of abstract reasoning patterns.