Search Sciweavers | Sciweavers

16513 search results - page 46 / 3303

» Numerical Analysis Methods

click to vote

IEAAIE
2001
Springer

78views Artificial Intelligence» more IEAAIE 2001»

Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis

14 years 2 days ago

Download www.ercim.eu

Yannick Toussaint, Jean-Charles Lamirel

claim paper

Read More »

click to vote

DATE
1997
IEEE

74views Hardware» more DATE 1997»

An algorithm for numerical reference generation in symbolic analysis of large analog circuits

13 years 12 months ago

Download www.cecs.uci.edu

Ignacio Garcia-Vargas, Mariano Galan, Francisco V....

claim paper

Read More »

click to vote

CORR
2006
Springer

82views Education» more CORR 2006»

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and S

13 years 7 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

claim paper

Read More »

click to vote

CORR
2007
Springer

105views Education» more CORR 2007»

Applying the Z-transform for the static analysis of floating-point numerical filters

13 years 7 months ago

Download hal.archives-ouvertes.fr

David Monniaux

claim paper

Read More »

click to vote

AAI
2011

275views Algorithms» more AAI 2011»

K-attractors: a Partitional Clustering Algorithm for Numeric Data Analysis

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers