Sciweavers

3333 search results - page 130 / 667
» New Invariants for Groups
Sort
View
EXPERT
2000
182views more  EXPERT 2000»
13 years 10 months ago
Humanoid Robots: A New Kind of Tool
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
Bryan Adams, Cynthia Breazeal, Rodney A. Brooks, B...
STTT
2002
69views more  STTT 2002»
13 years 9 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
ICRA
2010
IEEE
161views Robotics» more  ICRA 2010»
13 years 8 months ago
DisCoverage: A new paradigm for multi-robot exploration
— The main aspect in multi-robot exploration is the efficient coordination of a group of robots. Inspired by previous results on the coverage problem, we propose a novel, fronti...
A. Dominik Haumann, Kim D. Listmann, Volker Willer...
EUROCRYPT
2004
Springer
14 years 1 months ago
Anonymous Identification in Ad Hoc Groups
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
Yevgeniy Dodis, Aggelos Kiayias, Antonio Nicolosi,...
ACNS
2009
Springer
142views Cryptology» more  ACNS 2009»
14 years 4 months ago
Group Key Exchange Enabling On-Demand Derivation of Peer-to-Peer Keys
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
Mark Manulis