Sciweavers

8587 search results - page 30 / 1718

» Interactive dynamic abstraction

95

Voted

IJCNN
2007
IEEE

114views Neural Networks» more IJCNN 2007»

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing

15 years 10 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 »

93

Voted

ECSQARU
2007
Springer

99views Automated Reasoning» more ECSQARU 2007»

On the Dynamics of Total Preorders: Revising Abstract Interval Orders

15 years 10 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 »

97

Voted

SARA
2007
Springer

66views Artificial Intelligence» more SARA 2007»

Dynamic Domain Abstraction Through Meta-diagnosis

15 years 9 months ago

Dynamic Domain Abstraction Through Meta-diagnosis

Download www.qrg.northwestern.edu

Johan de Kleer

claim paper

Read More »

98

Voted

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

15 years 9 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 »

84

Voted

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 9 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 »