3128 search results - page 160 / 626 » Finite element method |
118
Voted
IBPRIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Being an essential key in biological research, the DNA sequences are often shared between researchers and digitally stored for future use. As these sequences grow in volu...
132
Voted
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
127
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
137
click to vote
TASLP
2010
14 years 10 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
128
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
We propose a new method for fitting mixture models that performs component selection and does not require external initialization. The novelty of our approach includes: a minimum ...