Search Sciweavers | Sciweavers

13500 search results - page 198 / 2700

» Improved analysis of D

145

click to vote

CADE
1994
Springer

190views 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

114views 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

77views 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

80views 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

92views Information Technology» more NIPS 2001»

A Rational Analysis of Cognitive Control in a Speeded Discrimination Task

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers