Sciweavers

3864 search results - page 212 / 773
» time 2005
Sort
View
CPM
2005
Springer
125views Combinatorics» more  CPM 2005»
15 years 8 months ago
Parametric Analysis for Ungapped Markov Models of Evolution
We present efficient sensitivity-analysis algorithms for two problems involving Markov models of sequence evolution: ancestral reconstruction in evolutionary trees and local ungap...
David Fernández-Baca, Balaji Venkatachalam
AUTOMATICA
2006
83views more  AUTOMATICA 2006»
15 years 6 months ago
A stochastic control model of economic growth with environmental disaster prevention
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...
Alain Haurie, Francesco Moresino
PR
2006
132views more  PR 2006»
15 years 6 months ago
Some approaches to improve tree-based nearest neighbour search algorithms
Nearest neighbour search is a widely used technique in pattern recognition. During the last three decades a large number of fast algorithms have been proposed. In this work we are...
Eva Gómez-Ballester, Luisa Micó, Jos...
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
APPML
2005
101views more  APPML 2005»
15 years 6 months ago
A numerical method for mass spectral data analysis
The new generation of mass spectrometers produces an astonishing amount of high-quality data in a brief period of time, leading to inevitable data analysis bottlenecks. Automated ...
Anthony J. Kearsley, William E. Wallace, Javier Be...