3047 search results - page 206 / 610 » A Temporal Consensus Model |
168
click to vote
ASIAN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
180
click to vote
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...
164
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
138
click to vote
FM
2009
Springer
16 years 5 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
135
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...