18 search results - page 3 / 4 » Folk Theorems on the Determinization and Minimization of Tim... |
ECCC
2007
13 years 5 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
ICFEM
2009
Springer
14 years 10 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
ISCI
2008
13 years 5 months ago
2008
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
EOR
2007
13 years 5 months ago
2007
Within the economic order quantity (EOQ) framework, the main purpose of this paper is to investigate the retailerÕs optimal replenishment policy under permissible delay in paymen...
CSL
2002
Springer
13 years 5 months ago
2002
Springer
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...