Sciweavers

3342 search results - page 30 / 669
» Symbolic Robustness Analysis
Sort
View
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 2 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
83
Voted
ECML
2001
Springer
15 years 2 months ago
Symbolic Discriminant Analysis for Mining Gene Expression Patterns
Jason H. Moore, Joel S. Parker, Lance W. Hahn
ICS
2001
Tsinghua U.
15 years 2 months ago
Fractal symbolic analysis
Nikolay Mateev, Vijay Menon, Keshav Pingali
72
Voted
IEAAIE
2001
Springer
15 years 2 months ago
Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis
Yannick Toussaint, Jean-Charles Lamirel
DATE
2000
IEEE
91views Hardware» more  DATE 2000»
15 years 1 months ago
A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits
Oscar Guerra, Elisenda Roca, Francisco V. Fern&aac...