Sciweavers

340 search results - page 5 / 68
» formats 2009
Sort
View
BIRTHDAY
2009
Springer
13 years 5 months ago
Structural Operational Semantics for Weighted Transition Systems
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
Bartek Klin
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
14 years 2 months ago
Automatic formation deployment of decentralized heterogeneous multi-robot networks with limited sensing capabilities
— Heterogeneous multi-robot networks require novel tools for applications that require achieving and maintaining formations. This is the case for distributing sensing devices wit...
Brian Stephen Smith, Jiuguang Wang, Magnus Egerste...
CMMR
2009
Springer
190views Music» more  CMMR 2009»
13 years 10 months ago
Algorithms for an Automatic Transcription of Live Music Performances into Symbolic Format
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...
Stefano Baldan, Luca A. Ludovico, Davide A. Mauro
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
13 years 5 months ago
Formation control via distributed optimization of alignment error
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...
Brandon J. Moore, Carlos Canudas de Wit
CSE
2009
IEEE
14 years 2 months ago
The Formation of Task-Oriented Groups: Exploring Combat Activities in Online Games
— Advanced communication technologies enable strangers to work together on the same tasks or projects in virtual environments. Understanding the formation of taskoriented groups ...
Yun Huang, Mengxiao Zhu, Jing Wang, Nishith Pathak...