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
6978
search results - page 259 / 1396
»
On Proofs in System P
Sort
relevance
views
votes
recent
update
View
thumb
title
132
click to vote
FPCA
1993
73
views
Programming Languages
»
more
FPCA 1993
»
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
15 years 10 months ago
Download
web.cecs.pdx.edu
Mark P. Jones
claim paper
Read More »
122
click to vote
ICDE
1990
IEEE
55
views
Database
»
more
ICDE 1990
»
An Algorithmic Basis for Integrating Production Systems and Large Databases
15 years 10 months ago
Download
sp.cmc.msu.ru
Daniel P. Miranker, David A. Brant
claim paper
Read More »
61
click to vote
IEAAIE
1989
Springer
63
views
Artificial Intelligence
»
more
IEAAIE 1989
»
Hierarchical scheduling in an intelligent environmental control system
15 years 10 months ago
Download
smslab.kaist.ac.kr
Tag Gon Kim, Bernard P. Zeigler
claim paper
Read More »
134
click to vote
SEC
2008
113
views
Security Privacy
»
more
SEC 2008
»
YASIR: A Low-Latency, High-Integrity Security Retrofit for Legacy SCADA Systems
15 years 8 months ago
Download
www.ists.dartmouth.edu
Patrick P. Tsang, Sean W. Smith
claim paper
Read More »
136
click to vote
BIOCOMP
2006
72
views
Bioinformatics
»
more
BIOCOMP 2006
»
Homology Modeling of Myoglobin using Adaptive Neurofuzzy Systems
15 years 8 months ago
Download
ww1.ucmss.com
Achuthsankar S. Nair, Koshy P. Vaidyan
claim paper
Read More »
« Prev
« First
page 259 / 1396
Last »
Next »