Sciweavers

4944 search results - page 719 / 989
» A Framework for Adaptive Visualization
Sort
View
TYPES
2004
Springer
15 years 12 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
ICRA
2003
IEEE
111views Robotics» more  ICRA 2003»
15 years 12 months ago
Multi-robot team response to a multi-robot opponent team
Adversarial multi-robot problems, where teams of robots compete with one another, require the development of approaches that span all levels of control and integrate algorithms ra...
James Bruce, Michael H. Bowling, Brett Browning, M...
ISCAS
2003
IEEE
69views Hardware» more  ISCAS 2003»
15 years 12 months ago
A modular sensor microsystem utilizing a universal interface circuit
The performance features of MEMS transducers allow the development of a new class of small, low-power sensor microsystems which utilize a suite of sensors to support a wide range ...
Andrew Mason, N. Yazdi, J. Zhang, Z. Sainudeen
PADS
2003
ACM
15 years 12 months ago
Power-aware State Dissemination in Mobile Distributed Virtual Environments
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
Weidong Shi, Kalyan S. Perumalla, Richard M. Fujim...
ATAL
2003
Springer
15 years 11 months ago
An overview of coaching with limitations
As agent relationships become more complex, one challenging relationship that merits study is that of coach or adviser to another agent. Our research on coaching refers to one aut...
Patrick Riley, Manuela M. Veloso