15792 search results - page 97 / 3159 » Computational Abstraction Steps |
124
Voted
CSUR
2011
14 years 10 months ago
2011
123
Voted
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
102
Voted
AUSAI
2007
Springer
15 years 9 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...
112
Voted
CIE
2007
Springer
15 years 9 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...
103
Voted
CP
1998
Springer
15 years 7 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...