1179 search results - page 64 / 236 » Should Superclasses be Abstract |
ROMAN
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a ...
SASO
2007
IEEE
14 years 2 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Digital fingerprinting, a copyright protection technique for digital contents, is considered. Digital fingerprinting should deter collusion attacks, where several fi...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...