Sciweavers

828 search results - page 58 / 166
» Topological Properties of OTIS-Networks
Sort
View
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
13 years 11 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
ICPR
2010
IEEE
13 years 11 months ago
Initialisation-Free Active Contour Segmentation
We present a region based active contour model which does not require any initialisation and is capable of modelling multi-modal image regions. Its external force is based on stat...
Xianghua Xie, Majid Mirmehdi
ECAI
2008
Springer
13 years 9 months ago
A New Approach to Planning in Networks
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
Jussi Rintanen
DCG
2008
88views more  DCG 2008»
13 years 7 months ago
On the Number of Birch Partitions
Birch and Tverberg partitions are closely related concepts from discrete geometry. We show two properties for the number of Birch partitions: Evenness, and a lower bound. This imp...
Stephan Hell
IROS
2009
IEEE
114views Robotics» more  IROS 2009»
14 years 2 months ago
A Distributed boundary detection algorithm for multi-robot systems
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
James McLurkin, Erik D. Demaine