3113 search results - page 191 / 623 » Numerical Methods |
145
click to vote
JCB
2008
15 years 6 months ago
2008
Quartet-based phylogeny reconstruction methods, such as Quartet Puzzling, were introduced in the hope that they might be competitive with maximum likelihood methods, without being...
139
click to vote
SIAMAM
2010
15 years 4 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
142
click to vote
NIPS
2004
15 years 7 months ago
2004
Survey propagation is a powerful technique from statistical physics that has been applied to solve the 3-SAT problem both in principle and in practice. We give, using only probabi...
187
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
160
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...