Sciweavers

12993 search results - page 114 / 2599

» Artificial Intelligence in China

27

SARA
2000
Springer

72views Artificial Intelligence» more SARA 2000»

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

14 years 1 months ago

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

Download www.clip.dia.fi.upm.es

Carlos Carreras, Manuel V. Hermenegildo

claim paper

Read More »

27

SARA
2000
Springer

76views Artificial Intelligence» more SARA 2000»

Linearly Bounded Reformulations of Unary Databases

14 years 1 months ago

Linearly Bounded Reformulations of Unary Databases

Download dbgroup.ncsu.edu

Rada Chirkova, Michael R. Genesereth

claim paper

Read More »

25

SARA
2000
Springer

84views Artificial Intelligence» more SARA 2000»

Partial Completeness of Abstract Fixpoint Checking

14 years 1 months ago

Partial Completeness of Abstract Fixpoint Checking

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

19

SBIA
2000
Springer

130views Artificial Intelligence» more SBIA 2000»

Structural Learning from Iconic Representations

14 years 1 months ago

Structural Learning from Iconic Representations

Download homepages.inf.ed.ac.uk

Herman Martins Gomes, Robert B. Fisher

claim paper

Read More »

26

APN
1995
Springer

78views Artificial Intelligence» more APN 1995»

Distributed Algorithms and Causally Consistent Observations

14 years 1 months ago

Distributed Algorithms and Causally Consistent Observations

Download www.vs.inf.ethz.ch

Friedemann Mattern

claim paper

Read More »

« Prev « First page 114 / 2599 Last » Next »