Sciweavers

6833 search results - page 1052 / 1367
» Some two-character sets
Sort
View
IJMMS
2000
70views more  IJMMS 2000»
15 years 6 months ago
Computer generation of process explanations in nuclear astrophysics
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
Sakir Kocabas, Pat Langley
IRES
2000
71views more  IRES 2000»
15 years 6 months ago
Library Research Seminar II Partners and connections
Although libraries are public spaces in which individuals engage in a range of social and informational activities, few researchers in library and information science use ethnogra...
JAIR
2000
105views more  JAIR 2000»
15 years 6 months ago
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
Federico Barber
JAIR
2000
152views more  JAIR 2000»
15 years 6 months ago
Value-Function Approximations for Partially Observable Markov Decision Processes
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
Milos Hauskrecht
JAR
2000
97views more  JAR 2000»
15 years 6 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
« Prev « First page 1052 / 1367 Last » Next »