Sciweavers

1465 search results - page 173 / 293
» Practically intelligent agents aiding human intelligence
Sort
View
AAAI
1998
15 years 5 months ago
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems
In [4], Freuderdefines several types of interchangeability to capture the equivalenceamongthe valuesof a variable in a discrete constraint satisfaction problem(CSP), and provides ...
Berthe Y. Choueiry, Guevara Noubir
AAAI
1998
15 years 5 months ago
Discovering Admissible Simultaneous Equations of Large Scale Systems
SSFisasystemtodiscoverthestructureofsimultaneous equations governing an objective process through experiments. SSF combined with another system SDS to discover a quantitative form...
Takashi Washio, Hiroshi Motoda
AAAI
2000
15 years 5 months ago
Monte Carlo Localization with Mixture Proposal Distribution
Monte Carlo localization (MCL) is a Bayesian algorithm for mobile robot localization based on particle filters, which has enjoyed great practical success. This paper points out a ...
Sebastian Thrun, Dieter Fox, Wolfram Burgard
AAAI
1996
15 years 5 months ago
Sequential Inductive Learning
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
Jonathan Gratch
AAAI
1993
15 years 5 months ago
Supporting and Optimizing Full Unification in a Forward Chaining Rule System
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
Howard E. Shrobe