9284 search results - page 457 / 1857 » Knowledge State Algorithms |
179
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
The paper presents a high-performance architecture of the bit-plane coder for the embedded block coding algorithm in JPEG 2000. The architecture adopts a pipeline structure and is...
185
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
164
click to vote
ACSD
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
200
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
The sensor scheduling problem can be formulated as a controlled hidden Markov model and this paper solves the problem when the state, observation and action spaces are continuous....
200
click to vote
SCL
2011
15 years 2 months ago
2011
This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The considered protocols adopt an updating rule based either on constant or vani...