Sciweavers

2373 search results - page 22 / 475

» On the Theory of Structural Subtyping

124

AAECC
2007
Springer

90views Algorithms» more AAECC 2007»

Algebraic Structure Theory of Tail-Biting Trellises

16 years 10 days ago

Algebraic Structure Theory of Tail-Biting Trellises

Download drona.csa.iisc.ernet.in

Priti Shankar

claim paper

Read More »

115

CIE
2007
Springer

89views Applied Computing» more CIE 2007»

Index Sets of Computable Structures with Decidable Theories

16 years 10 days ago

Index Sets of Computable Structures with Decidable Theories

Download a-server.math.nsc.ru

Ekaterina B. Fokina

claim paper

Read More »

139

TYPES
2007
Springer

158views Formal Methods» more TYPES 2007»

Working with Mathematical Structures in Type Theory

16 years 8 days ago

Working with Mathematical Structures in Type Theory

Download www.cs.unibo.it

Claudio Sacerdoti Coen, Enrico Tassi

claim paper

Read More »

115

ISCAS
2002
IEEE

60views Hardware» more ISCAS 2002»

The unified discrete Fourier-Hartley transforms: theory and structure

15 years 11 months ago

The unified discrete Fourier-Hartley transforms: theory and structure

Download www-ee.uta.edu

Soontorn Oraintara

claim paper

Read More »

128

ICANN
2009
Springer

84views Neural Networks» more ICANN 2009»

Structural Analysis on STDP Neural Networks Using Complex Network Theory

15 years 10 months ago

Structural Analysis on STDP Neural Networks Using Complex Network Theory

Download www.nls.ics.saitama-u.ac.jp

Hideyuki Kato, Tohru Ikeguchi, Kazuyuki Aihara

claim paper

Read More »

« Prev « First page 22 / 475 Last » Next »