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
13500
search results - page 198 / 2700
»
Improved analysis of D
Sort
relevance
views
votes
recent
update
View
thumb
title
145
click to vote
CADE
1994
Springer
190
views
Logical Reasoning
»
more
CADE 1994
»
The Applicability of Logic Program Analysis and Transformation to Theorem Proving
15 years 10 months ago
Download
repository.readscheme.org
D. Andre de Waal, John P. Gallagher
claim paper
Read More »
141
click to vote
HYBRID
2009
Springer
114
views
Control Systems
»
more
HYBRID 2009
»
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
15 years 10 months ago
Download
www.vuse.vanderbilt.edu
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
claim paper
Read More »
119
Voted
ARITH
2001
IEEE
77
views
Applied Computing
»
more
ARITH 2001
»
Generation and Analysis of Hard to Round Cases for Binary Floating Point Division
15 years 10 months ago
Download
www.acsel-lab.com
Lee D. McFearin, David W. Matula
claim paper
Read More »
130
click to vote
APBC
2007
80
views
Bioinformatics
»
more
APBC 2007
»
Using Formal Concept Analysis for Microarray Data Comparison
15 years 7 months ago
Download
www.comp.nus.edu.sg
V. Choi, Y. Huang, Vy Lam, D. Potter, Reinhard C. ...
claim paper
Read More »
111
click to vote
NIPS
2001
92
views
Information Technology
»
more
NIPS 2001
»
A Rational Analysis of Cognitive Control in a Speeded Discrimination Task
15 years 7 months ago
Download
books.nips.cc
Michael C. Mozer, Michael D. Colagrosso, David E. ...
claim paper
Read More »
« Prev
« First
page 198 / 2700
Last »
Next »