3128 search results - page 156 / 626 » Finite element method |
90
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
111
Voted
ANLP
2000
15 years 5 months ago
2000
Reduplication, a central instance of prosodic morphology, is particularly challenging for state-ofthe-art computational morphology, since it involves copying of some part of a pho...
109
click to vote
ACL
1997
15 years 4 months ago
1997
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
129
Voted
FFA
2006
15 years 3 months ago
2006
This note is a continuation of a paper by the same authors that appeared in 2002 in the same journal. First we extend the method of the previous paper proving an asymptotic formul...
116
click to vote
COMBINATORICS
2002
15 years 3 months ago
2002
We present a new expression for the partition function of the dimer arrangements and the Ising partition function of the 3-dimensional cubic lattice. We use the Pfaffian method. T...