1478 search results - page 20 / 296 » Modular Complexity Analysis via Relative Complexity |
112
Voted
ENTCS
2008
15 years 1 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
113
Voted
CORR
2010
Springer
15 years 13 days ago
2010
Springer
The exact computation of orbits of discrete dynamical systems on the interval is considered. Therefore, a multiple-precision floating point approach based on error analysis is ch...
122
click to vote
ICIAR
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we introduce a new multiscale representation for 2-D images named the Inter-Coefficient Product (ICP). The ICP is a decimated pyramid of complex values based on the ...
138
Voted
MICCAI
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. This paper proposes a novel technique for constructing a neuroanatomical shape complex atlas using an information geometry framework. A shape complex is a collection of s...
110
Voted
ORL
2006
15 years 1 months ago
2006
In this paper we derive estimates of the sample sizes required to solve a multistage stochastic programming problem with a given accuracy by the (conditional sampling) sample aver...