Learn More
ersonal software assistants that help users with tasks like finding information, scheduling calendars , or managing work flow will require significant customization to each individual user. For example , an assistant that helps schedule a user's calendar will have to know that user's scheduling preferences. This article explores the potential of(More)
Unlike MOLGEN, VT's decisions about part selection and placement are so interdependent that plausible reasoning (guessing) is a major feature of its search for a solution. Thus, VT's problem-solving strategy is predominantly one of constructing an approximation and successively refining it. Systems that use plausible reasoning must be able to identify bad(More)
An organized record of actual flaws can be useful to computer system designers, programmers, analysts, administrators, and users. This survey provides a taxonomy for computer program security flaws, with an Appendix that documents 50 actual security flaws. These flaws have all been described previously in the open literature, but in widely separated places.(More)
A method for inducing knowledge by abstraction from a sequence of training examples is described. The proposed method, interference matching, induces abstractions by finding relational properties common to two or more exemplars. Three tasks solved by a program that uses an interference-matching algorithm are presented. Several problems concerning the(More)