3573 search results - page 462 / 715 » Reasoning about Codata |
154
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
A SoC design for applications of OMA DRM 2 Agent in mobile phones is presented in this paper, which has been verified by Altera Stratix EP1S80B956C6 FPGA development board. Several...
172
click to vote
IWPC
2007
IEEE
16 years 25 days ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
184
click to vote
LCN
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
163
click to vote
ROMAN
2007
IEEE
16 years 24 days ago
2007
IEEE
—Teaching a robot new skills may require that the teacher scaffolds the teaching experience appropriately. However, due to inherent assumptions made by a human teacher the scaffo...
126
click to vote
ROMAN
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...