Sciweavers

8587 search results - page 30 / 1718

» Interactive dynamic abstraction

25

IJCNN
2007
IEEE

114views Neural Networks» more IJCNN 2007»

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing

14 years 3 months ago

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing

Download www.cognitivesystems.org

Henrik Jacobsson, Stefan L. Frank, Diego Federici

claim paper

Read More »

23

ECSQARU
2007
Springer

99views Automated Reasoning» more ECSQARU 2007»

On the Dynamics of Total Preorders: Revising Abstract Interval Orders

14 years 3 months ago

On the Dynamics of Total Preorders: Revising Abstract Interval Orders

Download italpha.msu.ac.th

Richard Booth, Thomas Andreas Meyer

claim paper

Read More »

20

SARA
2007
Springer

66views Artificial Intelligence» more SARA 2007»

Dynamic Domain Abstraction Through Meta-diagnosis

14 years 3 months ago

Dynamic Domain Abstraction Through Meta-diagnosis

Download www.qrg.northwestern.edu

Johan de Kleer

claim paper

Read More »

23

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

14 years 3 months ago

Static Analysis of Dynamic Communication Systems by Partner Abstraction

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

21

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

14 years 3 months ago

Dynamic inference of abstract types

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

« Prev « First page 30 / 1718 Last » Next »