793 search results - page 27 / 159 » Input Modeling Tools for Complex Problems |
124
Voted
STOC
1993
ACM
15 years 6 months ago
1993
ACM
Abstract. It is shown that high-order feedforward neural nets of constant depth with piecewisepolynomial activation functions and arbitrary real weights can be simulated for Boolea...
118
Voted
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
138
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
127
Voted
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
118
Voted
SIAMSC
2008
15 years 19 days ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...