Sciweavers

2002 search results - page 320 / 401
» Interactive technical illustration
Sort
View
ICMCS
2007
IEEE
106views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Toward Self-Managed Media Stream Processing Service Overlays
On-demand media stream processing service provisioning on top of a service overlay network (SON) has emerged as a promising approach to providing quality-aware and failure-resilie...
Xiaohui Gu, Philip S. Yu
LICS
2007
IEEE
15 years 10 months ago
A Complete Axiomatization of Knowledge and Cryptography
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
Mika Cohen, Mads Dam
ROMAN
2007
IEEE
115views Robotics» more  ROMAN 2007»
15 years 10 months ago
Issues in Human/Robot Task Structuring and Teaching
—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...
Joe Saunders, Nuno Otero, Chrystopher L. Nehaniv
IROS
2007
IEEE
140views Robotics» more  IROS 2007»
15 years 10 months ago
Test-environment based on a team of miniature walking robots for evaluation of collaborative control methods
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
Florian Weissel, Marco F. Huber, Uwe D. Hanebeck
ATAL
2007
Springer
15 years 10 months ago
A framework for agent-based distributed machine learning and data mining
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
Jan Tozicka, Michael Rovatsos, Michal Pechoucek