Information & computer science publications
-
Adaptive Interest Modeling Improves Content Services at the Network Edge
How to get the relevant content to the right user quickly, in the midst of network disruptions and resource constraints, is a key research challenge.
-
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.
-
Video Object Co-Segmentation by Regulated Maximum Weight Cliques
In this paper, we propose a novel approach for object cosegmentation in arbitrary videos by sampling, tracking and matching object proposals via a Regulated Maximum Weight Clique (RMWC) extraction scheme.
-
Concolic Fault Localization
Inspired by concolic testing, we propose a novel algorithm that integrates concrete execution and symbolic reasoning about the error trace to address these challenges.
-
Modeling of Continuity and Change in Biology
This paper reports on our initial steps toward representing this core theme and describes the methodological background and open challenges.
-
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…