1221 search results - page 212 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
116
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
154
click to vote
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
124
click to vote
MICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...
109
click to vote
MMS
2008
15 years 1 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
134
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...