1449 search results - page 36 / 290 » Finiteness results for sigmoidal |
156
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We define a collection of mappings that transform many-valued clausal forms into satisfiability equivalent Boolean clausal forms, analyze their complexity and evaluate them empir...
177
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...
139
click to vote
ACL
1997
15 years 7 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...
142
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression’s structure. Each interm...
157
click to vote
IJAC
2007
15 years 6 months ago
2007
In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a γ function that grows exp...