Information & computer science publications
-
A Framework for High-Assurance Quasi-Synchronous Systems
In this paper, we examine the foundations of a quasi-synchronous model of computation Our version of the quasi-synchronous model is inspired by the Robot Operating System (ROS).
-
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…
-
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing
Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…
-
The Semantics of Datalog for the Evidential Tool Bus
The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance cases. We outline the semantic characteristics of the variant of…
-
ROSRV: Runtime Verification for Robots
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.
-
The Versatile Synchronous Observer
The paper describes and illustrates these applications of synchronous observers.
-
KB_Bio_101: Content and Challenges
We give an overview of its content, summarize the key concepts represented, and give some examples of problems requiring further ontology research.
-
Precise Vision-Aided Aerial Navigation
This paper proposes a novel vision-aided navigation approach that continuously estimates precise 3D absolute pose for aerial vehicles, using only inertial measurements and monocular camera observations.
-
Conceptual Models of Energy Transfer and Regulation
We consider a representation of energy transfer and regulation for biological processes, and consider several example questions that can be answered using this representation.
-
Droidminer: Automated Mining and Characterization of Fine-Grained Malicious Behaviors in Android Applications
DroidMiner is a new malicious Android app detection system that uses static analysis to automatically mine malicious program logic from known Android malware.