Sciweavers

31387 search results - page 348 / 6278

» Abstracting abstract machines

140

AAMAS
2002
Springer

89views Intelligent Agents» more AAMAS 2002»

TTree: Tree-Based State Generalization with Temporally Abstract Actions

15 years 6 months ago

TTree: Tree-Based State Generalization with Temporally Abstract Actions

Download www.cs.cmu.edu

William T. B. Uther, Manuela M. Veloso

claim paper

Read More »

132

LOGCOM
2007

91views more LOGCOM 2007»

Generalized Strong Preservation by Abstract Interpretation

15 years 6 months ago

Generalized Strong Preservation by Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

120

AML
2004

42views more AML 2004»

Definability and automorphisms in abstract logics

15 years 6 months ago

Definability and automorphisms in abstract logics

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

126

MCSS
2007
Springer

109views Control Systems» more MCSS 2007»

Consistent initialization and perturbation analysis for abstract differential-algebraic equations

15 years 6 months ago

Consistent initialization and perturbation analysis for abstract differential-algebraic equations

Download www.math.tu-berlin.de

Timo Reis

claim paper

Read More »

126

BMCBI
2004

59views more BMCBI 2004»

Content-rich biological network constructed by mining PubMed abstracts

15 years 6 months ago

Content-rich biological network constructed by mining PubMed abstracts

Download www.biomedcentral.com

Hao Chen, Burt M. Sharp

claim paper

Read More »

« Prev « First page 348 / 6278 Last » Next »