9284 search results - page 123 / 1857 » Knowledge State Algorithms |
155
Voted
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
127
Voted
CP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
131
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
—This paper deals with optimized training sequences to estimate multiple-input multiple-output orthogonal frequencydivision multiplexing (MIMO-OFDM) channel states in the presenc...
160
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
100
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an autoadaptive algorithm for in-use parameter estimation of MEMS inertial accelerometers and gyros1 using multilevel quasi-static states for greater accuracy ...