5064 search results - page 446 / 1013 » Recent Developments in Gridsolve |
200
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
The varying object appearance and unlabeled data from new frames are always the challenging problem in object tracking. Recently machine learning methods are widely applied to tra...
184
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In live peer-to-peer (P2P) streaming, each peer (child) has a number of supplying parents whose packets have to be scheduled and delivered in time for continuous playback at the c...
220
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The goal of this paper is the development of network coding solutions able to improve the performance of video streaming applications over peer-to-peer overlays. Recent advances i...
220
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
221
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...