281 search results - page 40 / 57 » Solving Parametric Algebraic Systems |
109
Voted
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper proposes a computational model for phoneme acquisition by infants. Human infants perceive speech sounds not as discrete phoneme sequences but as continuous acoustic ...
106
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In this work we study the computational complexity of a class of grid Monte Carlo algorithms for integral equations. The idea of the algorithms consists in an approximation of the ...
91
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a novel scheme for the solution of linear differential equation systems on parallel computers. The Implicit Pipeline (ImP) method uses an implicit timeintegration schem...
FCSC
2007
15 years 12 days ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
113
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...