3006 search results - page 45 / 602 » Overview |
NOLISP
2005
Springer
15 years 5 months ago
2005
Springer
This paper summarizes the rationale for proposing the COST-277 “nonlinear speech processing” action, and the work done during these last four years. In addition, future perspec...
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
ELPUB
2004
ACM
15 years 5 months ago
2004
ACM
