Sciweavers

AMCS
2010
98views Mathematics» more  AMCS 2010»
13 years 6 months ago
On the convergence of the wavelet-Galerkin method for nonlinear filtering
Lukasz D. Nowak, Monika Paslawska-Poludniak, Kryst...
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
13 years 7 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
IMAMS
1994
109views Mathematics» more  IMAMS 1994»
13 years 8 months ago
Physics-Based NURBS Swung Surfaces
We develop a dynamic, free-form surface model which is useful for representing a broad class of objects with symmetries and topological variability. The new model is based upon sw...
Hong Qin, Demetri Terzopoulos
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 8 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh