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 260 / 1396
»
On Proofs in System P
Sort
relevance
views
votes
recent
update
View
thumb
title
128
click to vote
FLAIRS
2001
149
views
Artificial Intelligence
»
more
FLAIRS 2001
»
Secure Systems Development -- The Evolving Integration of Validation and Verification
15 years 8 months ago
Download
www.aaai.org
Klaus P. Jantke, Oliver Keller
claim paper
Read More »
112
click to vote
FLAIRS
1998
92
views
Artificial Intelligence
»
more
FLAIRS 1998
»
AMI: The Automated Maintenance Instruction System
15 years 8 months ago
Download
www.aaai.org
James P. Buckley, Frank W. Moore
claim paper
Read More »
126
click to vote
FLAIRS
1998
75
views
Artificial Intelligence
»
more
FLAIRS 1998
»
Characterizing Sufficient Expertise for Learning Systems Validation
15 years 8 months ago
Download
www.aaai.org
Gunter Grieser, Klaus P. Jantke, Steffen Lange
claim paper
Read More »
109
click to vote
NIPS
2000
118
views
Information Technology
»
more
NIPS 2000
»
Natural Sound Statistics and Divisive Normalization in the Auditory System
15 years 8 months ago
Download
www.cns.nyu.edu
Odelia Schwartz, Eero P. Simoncelli
claim paper
Read More »
101
click to vote
COLING
1990
73
views
Computational Linguistics
»
more
COLING 1990
»
Demonstration Of Genesys: A Very Large, Semantically Based Systemic Functional Generator
15 years 7 months ago
Download
acl.ldc.upenn.edu
Robin P. Fawcett, Gordon H. Tucker
claim paper
Read More »
« Prev
« First
page 260 / 1396
Last »
Next »
