17450 search results - page 140 / 3490 » Numerical Methods with Applications |
108
Voted
CW
2006
IEEE
15 years 9 months ago
2006
IEEE
Currently, in the development of business applications, difficulties occasionally arise between the customer side and the supplier side, causing delays and higher development cost...
124
click to vote
NIPS
2007
15 years 4 months ago
2007
We present a general boosting method extending functional gradient boosting to optimize complex loss functions that are encountered in many machine learning problems. Our approach...
147
click to vote
RECOSOC
2007
15 years 4 months ago
2007
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...
105
click to vote
ESI
2010
15 years 1 months ago
2010
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...
118
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...