Sciweavers

19 search results - page 1 / 4

» sara 2000

9

SARA
2000
Springer

84views Artificial Intelligence» more SARA 2000»

Partial Completeness of Abstract Fixpoint Checking

13 years 8 months ago

Partial Completeness of Abstract Fixpoint Checking

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

12

SARA
2000
Springer

72views Artificial Intelligence» more SARA 2000»

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

13 years 8 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 »

11

SARA
2000
Springer

76views Artificial Intelligence» more SARA 2000»

Linearly Bounded Reformulations of Unary Databases

13 years 8 months ago

Linearly Bounded Reformulations of Unary Databases

Download dbgroup.ncsu.edu

Rada Chirkova, Michael R. Genesereth

claim paper

Read More »

12

SARA
2000
Springer

95views Artificial Intelligence» more SARA 2000»

On Reformulating Planning as Dynamic Constraint Satisfaction

13 years 8 months ago

On Reformulating Planning as Dynamic Constraint Satisfaction

Download ti.arc.nasa.gov

Jeremy Frank, Ari K. Jónsson, Paul H. Morri...

claim paper

Read More »

15

ICNP
2000
IEEE

86views Computer Networks» more ICNP 2000»

Monitoring Reachability in the Global Multicast Infrastructure

13 years 9 months ago

Monitoring Reachability in the Global Multicast Infrastructure

Download www.nmsl.cs.ucsb.edu

Kamil Saraç, Kevin C. Almeroth

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »