Information & computer science publications
-
How Do We Certify for the Unexpected?
We propose that safety cases based on explicit goals, evidence, and argument provide a firmer foundation for assurance, and a framework within which it is possible to address the rare…
-
Real-Time Global Localization with a Pre-Built Visual Landmark Database
In this paper, we study how to build a vision-based system for global localization with accuracies within 10 cm. for robots and humans operating both indoors and outdoors over wide…
-
Collision Sensing by Stereo Vision and Radar Sensor Fusion
To take the advantages of both stereo cameras and radar, this paper proposes a fusion approach to accurately estimate the location, size, pose and motion information of a threat vehicle…
-
Geo-Spatial Aerial Video Processing for Scene Understanding and Object Tracking
This paper presents an approach to extracting and using semantic layers from low altitude aerial videos for scene understanding and object tracking.
-
Matching Vehicles Under Large Pose Transformations Using Approximate 3D Models and Piecewise MRF Model
We propose a robust object recognition method based on approximate 3D models that can effectively match objects under large viewpoint changes and partial occlusion.
-
Discovering Class Specific Composite Features Through Discriminative Sampling with Swendsen-Wang Cut
This paper proposes a novel approach to discover a set of class specific composite features as the feature pool for the detection and classification of complex objects using AdaBoost.
-
Building Segmentation for Densely Built Urban Regions Using Aerial LIDAR Data
We present a novel building segmentation system for densely built areas, containing thousands of buildings per square kilometer.
-
HO2: A New Feature for Multi-Agent Event Detection and Recognition
In this paper, we present a new feature to model a class of events that consist of complex interactions among multiple entities captured by tracks and inter-object relationships over space…
-
Overcoming Adverse Weather Conditions with a Common Optical Path, Multiple Sensors, and Intelligent Image Fusion System
This paper introduces an engineering prototype to address the image collection challenges using a Common Optical Path, Multiple Sensors and an Intelligent Image Fusion System, and provides illustrations and sample…
-
Formal Specification of Agent-Object Oriented Programs
This paper presents a methodology for the formal specification of agent-object oriented programs. Agent-object oriented programming is a programming paradigm that integrates both agent-oriented programming and object- oriented programming.
-
Accurate 3D Rigid-Body Target Motion and Structure Estimation by Using GMTI/HRR with Template Information
A framework of simultaneously estimating the motion and structure parameters of a 3D object by using high range resolution (HRR) and ground moving target indicator (GMTI) measurements with template information…
-
Object Tracking and Classification in Aerial Videos
We combine the layer segmentation approach with background stabilization and post-tracking refinement to reliably detect small moving objects at the relatively low processing speed.