Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10271
search results - page 216 / 2055
»
Computer Science
Sort
relevance
views
votes
recent
update
View
thumb
title
151
click to vote
RTA
1999
Springer
101
views
Theoretical Computer Science
»
more
RTA 1999
»
Strong Normalization of Proof Nets Modulo Structural Congruences
15 years 11 months ago
Download
twiki.di.uniroma1.it
Roberto Di Cosmo, Stefano Guerrini
claim paper
Read More »
153
click to vote
SOFSEM
1999
Springer
74
views
Theoretical Computer Science
»
more
SOFSEM 1999
»
Some Afterthoughts on Hopfield Networks
15 years 11 months ago
Download
www.tcs.hut.fi
Jirí Síma, Pekka Orponen, Teemu Antt...
claim paper
Read More »
136
click to vote
SPIN
1999
Springer
108
views
Theoretical Computer Science
»
more
SPIN 1999
»
A Framework for Automatic Construction of Abstract Promela Models
15 years 11 months ago
Download
spinroot.com
María-del-Mar Gallardo, Pedro Merino
claim paper
Read More »
137
click to vote
WG
1999
Springer
61
views
Theoretical Computer Science
»
more
WG 1999
»
Vertex Cover: Further Observations and Further Improvements
15 years 11 months ago
Download
anyserver.cityu.edu.hk
Jianer Chen, Iyad A. Kanj, Weijia Jia
claim paper
Read More »
158
click to vote
SCCC
1998
IEEE
75
views
Theoretical Computer Science
»
more
SCCC 1998
»
The Use of Agents Techniques on Intelligent Tutoring Systems
15 years 11 months ago
Download
www.niee.ufrgs.br
Lúcia Maria Martins Giraffa, Rosa Maria Vic...
claim paper
Read More »
« Prev
« First
page 216 / 2055
Last »
Next »
