3047 search results - page 410 / 610 » A Temporal Consensus Model |
177
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Detecting regions of interest in video sequences is the most important task in many high level video processing applications. In this paper a robust technique based on recursive l...
204
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Significant temporal and monetary costs are associated with the development and implementation of a knowledge management system (KMS). To justify this investment, it is important ...
203
click to vote
ICMCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Several stochastic models provide an effective framework to identify the temporal structure of audiovisual data. Most of them need as input a first video structure, i.e. connecti...
156
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
169
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...