Sciweavers

1153 search results - page 130 / 231
» The Complexity of Revision, Revised
Sort
View
AAAI
1994
15 years 7 months ago
Rule Based Updates on Simple Knowledge Bases
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
Chitta Baral
ACL
1993
15 years 7 months ago
The Effect of Establishing Coherence in Ellipsis and Anaphora Resolution
This paper presents a new model of anaphoric processing that utilizes the establishment of coherence relations between clauses in a discourse. We survey data that comprises a curr...
Andrew Kehler
ECSCW
1993
15 years 7 months ago
The Designers' Notepad: Supporting and Understanding Cooperative Design
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
Michael Twidale, Tom Rodden, Ian Sommerville
WSC
1996
15 years 7 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
AIPS
2009
15 years 7 months ago
Using Distance Estimates in Heuristic Search
This paper explores the use of an oft-ignored information source in heuristic search: a search-distance-to-go estimate. Operators frequently have different costs and cost-to-go is...
Jordan Tyler Thayer, Wheeler Ruml