17505 search results - page 3478 / 3501 » Use Cases as Workflows |
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
In a previous paper, we developed a robotic finger equipped with optical three-axis tactile sensors, of which the sensing cell can separately detect normal and shearing forces. Wit...
113
click to vote
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
105
click to vote
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
116
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...