3020 search results - page 511 / 604 » Type Analysis of Prolog Using Type Graphs |
DMIN
2006
13 years 10 months ago
2006
In this paper we present the results of applying data mining techniques to identify patterns and anomalies in air traffic control operational errors (OEs). Reducing the OE rate is ...
WSC
2004
13 years 10 months ago
2004
While the literature contains several adaptive sampling techniques for statistical comparison of competing simulated system configurations and for embedded statistical computation...
WSPI
2004
13 years 10 months ago
2004
Knowledge management systems (KMS) are increasingly becoming popular and important in managing organizational knowledge. This motivates a closer inspection of the degree of usabili...
NIPS
2003
13 years 10 months ago
2003
Recent multi-agent extensions of Q-Learning require knowledge of other agents’ payoffs and Q-functions, and assume game-theoretic play at all times by all other agents. This pap...
ICMAS
2000
13 years 10 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...