Search Sciweavers | Sciweavers

10271 search results - page 216 / 2055

» Computer Science

105

click to vote

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

Strong Normalization of Proof Nets Modulo Structural Congruences

15 years 7 months ago

Download twiki.di.uniroma1.it

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

118

click to vote

SOFSEM
1999
Springer

74views Theoretical Computer Science» more SOFSEM 1999»

Some Afterthoughts on Hopfield Networks

15 years 7 months ago

Download www.tcs.hut.fi

Jirí Síma, Pekka Orponen, Teemu Antt...

claim paper

Read More »

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 7 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

100

click to vote

WG
1999
Springer

61views Theoretical Computer Science» more WG 1999»

Vertex Cover: Further Observations and Further Improvements

15 years 7 months ago

Download anyserver.cityu.edu.hk

Jianer Chen, Iyad A. Kanj, Weijia Jia

claim paper

Read More »

119

click to vote

SCCC
1998
IEEE

75views Theoretical Computer Science» more SCCC 1998»

The Use of Agents Techniques on Intelligent Tutoring Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers