5510 search results - page 177 / 1102 » Mathematics |
115
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
113
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referre...
140
Voted
ITP
2010
15 years 2 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
135
click to vote
3DPH
2009
15 years 1 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
174
click to vote
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
We present a novel and accurate approximation for the distribution of the sum of equally correlated Nakagami-m variates. Ascertaining on this result we study the performance of Equ...