AAAI
1997
14 years 26 days ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...
AAAI
1997
14 years 26 days ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
AAAI
1997
14 years 26 days ago
1997
AAAI
1997
14 years 26 days ago
1997
1 We propose a paradigm for ecologically valid, authentic, unobtrusive, automatic, data-rich, fast, robust, and sensitive evaluation of computer-assisted student performance. We i...
AAAI
1997
14 years 26 days ago
1997
A variety of sensors and positioning methods have been developed over the years. Most methods rely on active sensors (such as sonars or lasers) which have range and power restrict...
AAAI
1997
14 years 26 days ago
1997
AAAI
1997
14 years 26 days ago
1997
The problem of counting the number of solutions to a constraint satisfaction problem (CSP) is rephrased in terms of probability updating in Bayes networks. Approximating the proba...
AAAI
1997
14 years 26 days ago
1997
Thisresearchfocusesona specific class of agentscalled "situated agents", which use minimalcommunication and rely mostlyon changesin the environmentas their cue for actio...
AAAI
1997
14 years 26 days ago
1997
It is well known that the performance of a stochastic local search procedure depends upon the setting of its noise parameter, and that the optimal setting varies with the problem ...
AAAI
1997
14 years 26 days ago
1997
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...