3128 search results - page 167 / 626 » Finite element method |
113
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Recently, it has been shown that it is possible to sample non-bandlimited signals that possess a limited number of degrees of freedom and uniquely reconstruct them from a finite ...
140
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
131
Voted
FSE
2004
Springer
15 years 9 months ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
179
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
112
Voted
AAAI
2010
15 years 5 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...