3690 search results - page 176 / 738 » Computation with classical sequents |
109
Voted
AAECC
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. We present new faster deterministic and probabilistic recombination algorithms to compute the irreducible decomposition of a bivariate polynomial via the classical Hensel...
87
Voted
ITA
2007
15 years 15 days ago
2007
We explicit the link between the computer arithmetic problem of providing correctly rounded algebraic functions and some diophantine approximation issues. This allows to get bounds...
81
Voted
TNN
2008
15 years 15 days ago
2008
In classical training methods for node open fault, we need to consider many potential faulty networks. When the multinode fault situation is considered, the space of potential faul...
101
click to vote
LOGCOM
2007
15 years 14 days ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
75
Voted
INFORMATICALT
2010
14 years 11 months ago
2010
In the presented paper, some issues of the fundamental classical mechanics theory in the sense of Ising physics are introduced into the applied neural network area. The expansion o...