Publications
-
The Generic Frame Protocol
The Generic Frame Protocol (GFP) is an application program interface for accessing knowledge bases stored in frame knowledge representation systems (FRSs).
-
Motion of an uncalibrated stereo rig: self-calibration and metric reconstruction
We address in this paper the problem of self-calibration and metric reconstruction (up to a scale) from one unknown motion of an uncalibrated stereo rig, assuming the coordinates of the…
-
Ziplock Snakes
We propose a snake-based approach that lets a user specify only the distant endpoints of the curve he wishes to delineate without having to supply an almost complete polygonal approximation.
-
Indefeasible Semantics and Defeasible Pragmatics
I propose a fine structure of the preferential interpretation in pragmatics in terms of defeasible rule interactions. A logical implementation of the preferential rule interactions is proposed using prioritized circumscription,…
-
No Girls Allowed
Discusses girls' use of computers and examines why they are often discouraged and lose interest.
-
Distinguishing Knowledge Bases and Data Bases: Who’s on First and What’s on Second
This paper compares and contrasts relational data base management systems (RDBMSs) and frame knowledge representation systems (FRSs). We compare the capabilities that RDBMSs and FRSs provide to designers and users…
-
Registration without Correspondences
We present a method for registering images of complex 3-D surfaces that does not require explicit correspondences between features across the images.
-
A Storage System for Scalable Knowledge Representation
Our research investigates the hypothesis that one can employ an existing database management system (DBMS) as a storage subsystem for an FRS, to provide high-speed access to large, shared KBs.
-
Using 3-Dimensional Meshes to Combine Image-Based and Geometry Constraints
A unified framework for 3-D shape reconstruction allows us to combine image-based and geometry-based information sources. The image information is akin to stereo and shape-from-shading, while the geometric information may…
-
Industrial Project Monitoring with Evidential Reasoning
The system identifies problems and developments that might lead to deviations from planned project outcomes and does so at such an early stage that effective corrective action can still be…
-
Experience with a Learning Personal Assistant
Personal software assistants that help users with tasks like finding information, scheduling calendars, or managing workflow will require significant customization.
-
The deductive composition of astronomical software from subroutine libraries
Automated deduction techniques are being used in a system called Amphion to derive, from graphical specifications, programs composed from a subroutine library. The system has been applied to construct software…