Sciweavers

2797 search results - page 122 / 560
» Control Structures
Sort
View
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 2 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
130
Voted
CSCW
2004
ACM
15 years 2 months ago
Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
Jürgen Vogel, Werner Geyer, Li-Te Cheng, Mich...
70
Voted
ICRA
2010
IEEE
147views Robotics» more  ICRA 2010»
15 years 1 months ago
Simulation and control of an autonomous bucket excavator for landscaping tasks
— Introducing autonomous machines to construction areas can improve many of the occurring processes. Therefore, this paper deals with problems in the field of creating an autono...
Daniel Schmidt 0004, Martin Proetzsch, Karsten Ber...
CVPR
2011
IEEE
14 years 10 months ago
2.5D Building Modeling with Topology Control
2.5D building reconstruction aims at creating building models composed of complex roofs and vertical walls. In this paper, we define 2.5D building topology as a set of roof featu...
Qian-Yi Zhou, Ulrich Neumann
162
Voted
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 6 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...