Information & computer science publications
-
AR-Mentor: Augmented Reality Based Mentoring System
The system combines a wearable Optical-See-Through (OST) display device with high precision 6-Degree-Of-Freedom (DOF) pose tracking and a virtual personal assistant (VPA) with natural language, verbal conversational interaction, providing guidance…
-
Randomized Support Vector Forest
We proposed a new supervised learning algorithm, Randomized Support Vector Forest (RSVF): Many partitions of the input space are constructed with partitioning regions amenable to the corresponding linear SVMs.
-
Virtual Insertion: Robust Bundle Adjustment Over Long Video Sequences
Our goal is to circumvent one of the roadblocks of using existing bundle adjustment algorithms for achieving satisfactory large-area structure from motion over long video sequences, namely, the need for…
-
Augmented Reality Binoculars on the Move
We present our latest improvements and additions to our pose estimation pipeline and demonstrate stable registration of objects on the real world scenery while the binoculars are undergoing significant amount…
-
Template-Based Circuit Understanding
We propose a template-based approach that extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping…
-
Expanding the Metabolite Mimic Approach to Identify Hits for Mycobacterium Tuberculosis
-
Yices 2.2
We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
Metabolic Pathways for the Whole Community
Here we adopt the MetaPathways annotation and analysis pipeline and Pathway Tools to construct environmental pathway/genome databases that describe microbial community metabolism using MetaCyc.
-
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…
-
Curation Accuracy of Model Organism Databases
We assessed the accuracy of EcoCyc and CGD by manually selecting curated assertions within randomly chosen EcoCyc and CGD gene pages and by then validating that the data found in…
-
Efficiently Gap-Filling Reaction Networks
We present a computational technique, called FastGapFilling, that efficiently completes a reaction network by using only Linear Programming, not MILP.