2468 search results - page 455 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and p...
164
click to vote
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
131
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
122
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
128
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...