Sciweavers

3628 search results - page 320 / 726
» The Decision Diffie-Hellman Problem
Sort
View
AC
2003
Springer
15 years 12 months ago
Timed Automata: Semantics, Algorithms and Tools
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
Johan Bengtsson, Wang Yi
COCOON
2001
Springer
15 years 11 months ago
Packing Two Disks into a Polygonal Environment
: We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are conta...
Prosenjit Bose, Pat Morin, Antoine Vigneron
INFOCOM
1997
IEEE
15 years 11 months ago
QoS-based Routing in Networks with Inaccurate Information: Theory and Algorithms
We investigate the problem of routing connections with QoS requirements across one or more networks, when the information available for making routing decisions is inaccurate and ...
Roch Guérin, Ariel Orda
AMS
2007
Springer
465views Robotics» more  AMS 2007»
15 years 10 months ago
Mobile Robot Navigation Support in Living Environments
Navigation and application functionality of mobile robots rely on their collision-avoiding capabilities, also known as local navigation. We present the mobile robot ARTOS (Autonomo...
Christopher Armbrust, Jan Koch, Ulf Stocker, Karst...
CEC
2007
IEEE
15 years 10 months ago
Self-Adaptive Niching CMA-ES with Mahalanobis Metric
Existing niching techniques commonly use the Euclidean distance metric in the decision space for the classification of feasible solutions to the niches under formation. This approa...
Ofer M. Shir, Michael Emmerich, Thomas Bäck