LCS Publications: Recent submissions
Now showing items 331-333 of 1152
-
CALVIN: A Rule Based Expert System for Improving Arrhymia Detector Performance During Noisy ECGS
(1987-09)Human experts far outperform automated arrhythmia detectors in analyzing ECG data corrupted by noise and artifact. Humans make use of considerable a priori knowledge about cardiac electrophysiology and knowledge acquired ... -
A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
(1987-08)To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, ... -
Rule Based Analysis of Computer Security
(1988-03)Computers are rarely as secure as they could be. Users are lax or inconsistent in the way they configure a computer's protection system, and these user mistakes often lead to serious security holes. For example, a ...
