2470 search results - page 261 / 494 » Liveness-Preserving Simulation Relations |
158
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
Performance Engineering is concerned with the reliable prediction and estimation of the performance of scientific and engineering applications on a variety of parallel and distrib...
143
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
101
Voted
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This video shows the investigation of a novel minimalistic, dynamic climbing robot which can climb up tubes of different shapes using a simple dc motor. The motor moves an ecce...
154
click to vote
TCOM
2010
15 years 4 months ago
2010
—This paper is concerned with a simple binary erasure-recovery coding scheme that falls into the family of socalled semi-random low-density-parity-check (SR-LDPC) codes. Based on...
163
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Multiple Camera Systems (MCS) have been widely used in many vision applications and attracted much attention recently. There are two principle types of MCS, one is the Rigid Multi...