Search Results

Documents authored by Henderson, Thomas


Found 2 Possible Name Variants:

Henderson, Thomas C.

Document
10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
From 03.10.10 to 08.10.10,the Dagstuhl Seminar 10401 ``Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.1,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.1},
  URN =		{urn:nbn:de:0030-drops-29336},
  doi =		{10.4230/DagSemProc.10401.1},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Document
10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)


Abstract
abilities including perception, manipulation and navigation, planning and reasoning as well as knowledge acquisition and processing skills. Only when all these capabilities are combined can the robot show intelligent behavior and act appropriately in environments that are primarily designed for humans. Given the growing availability and inter-connectivity of modern agents and robots, better mechanisms to define, learn and share knowledge must be developed. Advances in robot platforms have led to their integration into society for a variety of functions, and there is a pressing need to understand how they can acquire and exploit knowledge required for their specific activities. In order to be useful, robotic agents must be able to recognize a wide range of objects, relations, and situations in their environment, and to understand the semantics of these. In addition, it is imperative that procedural and process knowledge also be known so that interactions are safe and meaningful. Cooperation and collaboration are also essential as well as the ability to perceive human and animal emotions and intentions to the largest degree possible. This seminar brought together 25 scientists with experience in planning, learning, knowledge processing and human-robot interaction to discuss how the high-level control concepts are to be used and adapted to human-robot interaction. Because high-level control of robots interacting with humans is of special practical importance, we invite experts with experience in assistive technology and those examining social acceptance of such systems.

Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.2,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.2},
  URN =		{urn:nbn:de:0030-drops-29342},
  doi =		{10.4230/DagSemProc.10401.2},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Document
05381 Abstracts Collection – Form and Content in Sensor Networks

Authors: Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
From 18.09.05 to 23.09.05, the Dagstuhl Seminar 05381 ``Form and Content in Sensor Networks'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson. 05381 Abstracts Collection – Form and Content in Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{guibas_et_al:DagSemProc.05381.1,
  author =	{Guibas, Leonidas J. and Hanebeck, Uwe D. and Henderson, Thomas C.},
  title =	{{05381 Abstracts Collection – Form and Content in Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.1},
  URN =		{urn:nbn:de:0030-drops-7555},
  doi =		{10.4230/DagSemProc.05381.1},
  annote =	{Keywords: Sensors, signal processing, sensor networks, intelligent systems, sensor data processing}
}
Document
05381 Executive Summary – Form and Content in Sensor Networks

Authors: Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
From the September 18th until September 23rd, 2005 a Dagstuhl Seminar took place with the topic "Form and Content in Sensor Networks". 26 participants from four different countries, which are experts in sensor networks from the topics information processing, communication and robotics, presented current state of the art in the field of algorithm for sensor networks and how content and structure impact information processing in the networks. The presentations ranged from very theoretical computational models and algorithms to prototype implementations for monitoring the environment.

Cite as

Leonidas J. Guibas, Uwe D. Hanebeck, and Thomas C. Henderson. 05381 Executive Summary – Form and Content in Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{guibas_et_al:DagSemProc.05381.2,
  author =	{Guibas, Leonidas J. and Hanebeck, Uwe D. and Henderson, Thomas C.},
  title =	{{05381 Executive Summary – Form and Content in Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.2},
  URN =		{urn:nbn:de:0030-drops-7544},
  doi =		{10.4230/DagSemProc.05381.2},
  annote =	{Keywords: Sensors, signal processing, sensor networks, intelligent systems, sensor data processing}
}
Document
Verification and Validation of Sensor Networks

Authors: Thomas C. Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006)


Abstract
Sensor networks play an increasingly important role in critical systems infrastructure and should be correct, reliable and robust. In order to achieve these performance goals, it is necessary to verify the correctness of system software and to validate the more broadly defined world and system models. This includes: * Physical Phenomena (PDE models, statistical models, etc.), * Signals (Equations of state, physical properties, etc.), * Sensors (Physics models, noise models, etc.), * Hardware (Failure models, power consumption models, etc.), * RF (Antenna models, bandwidth, delay, propagation, etc.), * Embedded Code (Correctness, complexity, context), * Distributed Algorithms (Correctness, concurrency models, etc.), * Overall Sensor Network and Environment Models (Percolation theory, wave theory, information theory, simulation, etc.). We outline some of the V & V issues involved in the various aspects of sensor networks as well as possible approaches to their development and application both in simulation and in operational deployed systems.

Cite as

Thomas C. Henderson. Verification and Validation of Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{henderson:DagSemProc.05381.4,
  author =	{Henderson, Thomas C.},
  title =	{{Verification and Validation of Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.4},
  URN =		{urn:nbn:de:0030-drops-7532},
  doi =		{10.4230/DagSemProc.05381.4},
  annote =	{Keywords: Models, verification, validation}
}

Henderson, Thomas

Document
06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks

Authors: Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei Gurtov, and Thomas Henderson

Published in: Dagstuhl Seminar Proceedings, Volume 6441, Naming and Addressing for Next-Generation Internetworks (2007)


Abstract
From 29.10.06 to 01.11.06, the Dagstuhl Seminar 06441``Naming and Addressing for Next-Generation Internetworks'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei Gurtov, and Thomas Henderson. 06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks. In Naming and Addressing for Next-Generation Internetworks. Dagstuhl Seminar Proceedings, Volume 6441, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{ahlgren_et_al:DagSemProc.06441.1,
  author =	{Ahlgren, Bengt and Eggert, Lars and Feldmann, Anja and Gurtov, Andrei and Henderson, Thomas},
  title =	{{06441 Abstracts Collection – Naming and Addressing for Next Generation Internetworks}},
  booktitle =	{Naming and Addressing for Next-Generation Internetworks},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6441},
  editor =	{Bengt Ahlgren and Lars Eggert and Anja Feldmann and Andrei Gurtov and Tom R. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06441.1},
  URN =		{urn:nbn:de:0030-drops-11309},
  doi =		{10.4230/DagSemProc.06441.1},
  annote =	{Keywords: Naming, addressing, network architecture, next-generation networks, security, privacy}
}
Document
06441 Summary – Naming and Addressing for Next Generation Internetworks

Authors: Thomas Henderson, Andrei Gurtov, Lars Eggert, and Christian Dannewitz

Published in: Dagstuhl Seminar Proceedings, Volume 6441, Naming and Addressing for Next-Generation Internetworks (2007)


Abstract
The design of naming and addressing for data networks is a fundamental architectural consideration, and several current or anticipated problems in the Internet – including mobility dynamics, forwarding table growth in the core routers, and security – point out possible limitations with naming and addressing schemes in use today. A seminar on the topic of naming and addressing for next generation internetworks was held at the Schloß Dagstuhl from October 29 to November 1, 2006. Researchers from different fields discussed their views and recent results pertaining to naming and addressing problems. Over twenty talks covered topics such as routing, naming components, APIs, mobility, delay-tolerant architectures, flat routing and deployment issues. This article briefly summarizes the seminar presentations and discussions.

Cite as

Thomas Henderson, Andrei Gurtov, Lars Eggert, and Christian Dannewitz. 06441 Summary – Naming and Addressing for Next Generation Internetworks. In Naming and Addressing for Next-Generation Internetworks. Dagstuhl Seminar Proceedings, Volume 6441, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{henderson_et_al:DagSemProc.06441.2,
  author =	{Henderson, Thomas and Gurtov, Andrei and Eggert, Lars and Dannewitz, Christian},
  title =	{{06441 Summary – Naming and Addressing for Next Generation Internetworks}},
  booktitle =	{Naming and Addressing for Next-Generation Internetworks},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6441},
  editor =	{Bengt Ahlgren and Lars Eggert and Anja Feldmann and Andrei Gurtov and Tom R. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06441.2},
  URN =		{urn:nbn:de:0030-drops-11293},
  doi =		{10.4230/DagSemProc.06441.2},
  annote =	{Keywords: Network architecture, scalability, mobility, heterogeneity, extensibility, naming, addressing}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail