Sciweavers

652 search results - page 58 / 131
» Mathematical knowledge management is needed
Sort
View
OOIS
2001
Springer
14 years 3 months ago
Towards a Requirements Engineering Process Model
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
Armin Eberlein, Li Jiang
ANSS
2006
IEEE
14 years 5 months ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
SAC
2006
ACM
13 years 11 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
COMAD
2009
13 years 8 months ago
Similarity Search in Moving Object Trajectories
The continuous and rapid advent in mobile and communications technology opens the way for new research areas and new applications. Moving Object Databases(MODs) are among the emer...
Omnia Ossama Hoda, M. O. Mokhtar
FGCS
2007
106views more  FGCS 2007»
13 years 11 months ago
Distributed data mining services leveraging WSRF
The continuous increase of data volumes available from many sources raises new challenges for their effective understanding. Knowledge discovery in large data repositories involv...
Antonio Congiusta, Domenico Talia, Paolo Trunfio