3128 search results - page 176 / 626 » Finite element method |
172
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
194
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we consider beamforming with finite– rate feedback for frequency–selective channels with decisionfeedback equalization (DFE) at the receiver. Using average ...
189
click to vote
WIA
2005
Springer
16 years 14 days ago
2005
Springer
We consider the use of state elimination to construct shorter regular expressions from finite-state automata. Although state elimination is an intuitive method for computing regul...
171
Voted
IH
2004
Springer
16 years 10 days ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
186
Voted
ISOLA
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...