Sciweavers

4290 search results - page 717 / 858
» Formal Approaches to Teamwork
Sort
View
KDD
1998
ACM
94views Data Mining» more  KDD 1998»
15 years 10 months ago
Independence Diagrams: A Technique for Visual Data Mining
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
Stefan Berchtold, H. V. Jagadish, Kenneth A. Ross
KR
1998
Springer
15 years 10 months ago
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
Gerhard Lakemeyer, Hector J. Levesque
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 10 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
ATAL
1997
Springer
15 years 10 months ago
Approximate Reasoning about Combined Knowledge
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
Frédéric Koriche
AUSAI
1997
Springer
15 years 10 months ago
Social Co-ordination among Autonomous Problem-Solving Agents
Co-ordination is the glue that binds the activities of autonomous problem-solving agents together into a functional whole. Co-ordination mechanisms for distributed problem-solving ...
Sascha Ossowski, Ana García-Serrano