Sciweavers

1640 search results - page 287 / 328
» Design of Synchronous Action Systems
Sort
View
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
14 years 9 months ago
A switching active sensing strategy to maintain observability for vision-based formation control
Abstract-- Vision-based control of a robot formation is challenging because the on-board sensor (camera) only provides the view-angle to the other moving robots, but not the distan...
Gian Luca Mariottini, Simone Martini, Magnus Egers...
CHI
2011
ACM
14 years 3 months ago
Roboshop: multi-layered sketching interface for robot housework assignment and management
As various home robots come into homes, the need for efficient robot task management tools is arising. Current tools are designed for controlling individual robots independently, ...
Kexi Liu, Daisuke Sakamoto, Masahiko Inami, Takeo ...
CADE
2011
Springer
13 years 11 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
TEI
2012
ACM
331views Hardware» more  TEI 2012»
13 years 7 months ago
Body-centric interaction with mobile devices
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
Xiang 'Anthony' Chen
HIPEAC
2007
Springer
15 years 6 months ago
Dynamic Capacity-Speed Tradeoffs in SMT Processor Caches
Caches are designed to provide the best tradeoff between access speed and capacity for a set of target applications. Unfortunately, different applications, and even different phas...
Sonia López, Steve Dropsho, David H. Albone...