5510 search results - page 213 / 1102 » Mathematics |
147
Voted
KGC
1997
Springer
15 years 8 months ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
117
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
154
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
127
click to vote
ISSAC
1992
Springer
15 years 8 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
154
click to vote
ISSAC
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. Lattice basis reduction is an important problem in geometry of numbers with applications in combinatorial optimization, computer algebra, and cryptography. The well-known...