Sciweavers

214 search results - page 23 / 43
» toms 2010
Sort
View
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
13 years 6 months ago
Increasing robotic wheelchair safety with collaborative control: Evidence from secondary task experiments
— Powered wheelchairs play a vital role in bringing independence to the severely mobility–impaired. Our robotic wheelchair aims to assist users in driving safely, without under...
Tom Carlson, Yiannis Demiris
DATESO
2010
184views Database» more  DATESO 2010»
13 years 5 months ago
iXUPT: Indexing XML Using Path Templates
The XML format has become the standard for data exchange because it is self-describing and it stores not only information but also the relationships between data. Therefore it is u...
Tomás Bartos, Ján Kasarda
CSFW
2010
IEEE
13 years 11 months ago
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
—An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In...
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Rya...
LICS
2010
IEEE
13 years 6 months ago
Breaking Paths in Atomic Flows for Classical Logic
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
Alessio Guglielmi, Tom Gundersen, Lutz Straß...
PPSN
2010
Springer
13 years 6 months ago
A Natural Evolution Strategy for Multi-objective Optimization
Abstract. The recently introduced family of natural evolution strategies (NES), a novel stochastic descent method employing the natural gradient, is providing a more principled alt...
Tobias Glasmachers, Tom Schaul, Jürgen Schmid...