15792 search results - page 97 / 3159 » Computational Abstraction Steps |
CSUR
2011
13 years 4 months ago
2011
CONCUR
2012
Springer
11 years 11 months ago
2012
Springer
AUSAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
CP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...