Sciweavers

932 search results - page 139 / 187
» Hierarchical graph indexing
Sort
View
ICRA
2007
IEEE
115views Robotics» more  ICRA 2007»
14 years 2 months ago
A Geometric Characterization of Leader-Follower Formation Control
— The paper focuses on leader-follower formations of nonholonomic mobile robots. A formation control alternative to those existing in the literature is introduced. We show that t...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
14 years 1 months ago
A Framework for Automatic Deployment of Robots in 2D and 3D Environments
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
Marius Kloetzer, Calin Belta
DAC
1994
ACM
13 years 12 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
CLOUDCOM
2009
Springer
13 years 11 months ago
Cost-Minimizing Scheduling of Workflows on a Cloud of Memory Managed Multicore Machines
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
Nicolas G. Grounds, John K. Antonio, Jeffrey T. Mu...
AHS
2006
IEEE
188views Hardware» more  AHS 2006»
13 years 11 months ago
Finite State Machine IP Watermarking: A Tutorial
Sharing Intellectual Property (IP) blocks in today's competitive market poses significant high security risks. In this paper, we present a tutorial for a watermarking approach...
Amr T. Abdel-Hamid, Sofiène Tahar, El Mosta...