1449 search results - page 57 / 290 » Finiteness results for sigmoidal |
168
click to vote
ICCD
1995
IEEE
15 years 9 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
155
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we study a sequential decision making problem. The objective is to maximize the average reward accumulated over time subject to temporal cost constraints. The novel...
153
click to vote
AAAI
2010
15 years 7 months ago
2010
Existing controller-based approaches for centralized and decentralized POMDPs are based on automata with output known as Moore machines. In this paper, we show that several advant...
145
click to vote
EMNLP
2008
15 years 7 months ago
2008
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...
144
click to vote
PTS
2008
15 years 7 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...