3457 search results - page 344 / 692 » A Symbol Is Not a Symbol |
167
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
129
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
164
click to vote
IWINAC
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network c...
168
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
179
click to vote
PAKDD
2005
ACM
16 years 6 days ago
2005
ACM
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...