4211 search results - page 156 / 843 » Types as Abstract Interpretations |
124
Voted
RC
2007
15 years 3 months ago
2007
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
129
click to vote
CCA
2005
Springer
15 years 9 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
131
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
134
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
165
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...