Search Sciweavers | Sciweavers

3342 search results - page 30 / 669

» Symbolic Robustness Analysis

119

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

15 years 10 months ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

148

click to vote

ECML
2001
Springer

80views Machine Learning» more ECML 2001»

Symbolic Discriminant Analysis for Mining Gene Expression Patterns

15 years 10 months ago

Download www.camda.duke.edu

Jason H. Moore, Joel S. Parker, Lance W. Hahn

claim paper

Read More »

111

click to vote

ICS
2001
Tsinghua U.

95views Distributed And Parallel Com...» more ICS 2001»

Fractal symbolic analysis

15 years 10 months ago

Download iss.ices.utexas.edu

Nikolay Mateev, Vijay Menon, Keshav Pingali

claim paper

Read More »

127

click to vote

IEAAIE
2001
Springer

78views Artificial Intelligence» more IEAAIE 2001»

Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis

15 years 10 months ago

Download www.ercim.eu

Yannick Toussaint, Jean-Charles Lamirel

claim paper

Read More »

149

click to vote

DATE
2000
IEEE

91views Hardware» more DATE 2000»

A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers