Sciweavers

12753 search results - page 2438 / 2551
» is 2002
Sort
View
115
Voted
NIPS
2001
15 years 4 months ago
Distribution of Mutual Information
Mutual information is widely used, in a descriptive way, to measure the stochastic dependence of categorical random variables. In order to address questions such as the reliabilit...
M. Hutter
130
Voted
SCS
2004
15 years 4 months ago
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...
Paul Chinneck, David Pumfrey, John McDermid
TREC
2001
15 years 4 months ago
Observations of Searchers: OHSU TREC 2001 Interactive Track
The goal of the TREC 2001 Interactive Track was to carry out observational experiments of Web-based searching to develop hypotheses for experiments in subsequent years. Each parti...
William R. Hersh, Lynetta Sacherek, Daniel Olson
136
Voted
IJCAI
2003
15 years 4 months ago
A Planning Algorithm for Predictive State Representations
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
Masoumeh T. Izadi, Doina Precup
154
Voted
IJCAI
2003
15 years 4 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
« Prev « First page 2438 / 2551 Last » Next »