Sciweavers

4674 search results - page 156 / 935
» cases 2008
Sort
View
AUTOMATICA
2008
66views more  AUTOMATICA 2008»
15 years 6 months ago
A connection between formation infeasibility and velocity alignment in kinematic multi-agent systems
In this paper, a feedback control strategy that achieves convergence of a multi-agent system to a desired formation configuration is proposed for both the cases of agents with sin...
Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
142
Voted
COMCOM
2008
124views more  COMCOM 2008»
15 years 6 months ago
Quick convergecast in ZigBee beacon-enabled tree-based wireless sensor networks
Convergecast is a fundamental operation in wireless sensor networks. Existing convergecast solutions have focused on reducing latency and energy consumption. However, a good desig...
Meng-Shiuan Pan, Yu-Chee Tseng
ENDM
2008
61views more  ENDM 2008»
15 years 6 months ago
Diameter and Curvature: Intriguing Analogies
We highlight intriguing analogies between the diameter of a polytope and the largest possible total curvature of the associated central path. We prove continuous analogues of the ...
Antoine Deza, Tamás Terlaky, Feng Xie, Yuri...
175
Voted
ENTCS
2008
135views more  ENTCS 2008»
15 years 6 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
156
Voted
EWC
2008
117views more  EWC 2008»
15 years 6 months ago
Performance of parallel computations with dynamic processor allocation
In parallel adaptive mesh refinement (AMR) computations the problem size can vary significantly during a simulation. The goal here is to explore the performance implications of dyn...
Saeed Iqbal, Graham F. Carey