Sciweavers

6308 search results - page 1028 / 1262
» Modeling Urgency in Timed Systems
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
TOG
2008
120views more  TOG 2008»
15 years 6 months ago
Markerless garment capture
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...
Derek Bradley, Tiberiu Popa, Alla Sheffer, Wolfgan...
ICRA
2010
IEEE
162views Robotics» more  ICRA 2010»
15 years 5 months ago
Adaptive multi-robot coordination: A game-theoretic perspective
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
Gal A. Kaminka, Dan Erusalimchik, Sarit Kraus
VTC
2010
IEEE
114views Communications» more  VTC 2010»
15 years 5 months ago
On Non-Stationary Urban Macrocell Channels in a Cooperative Downlink Beamforming Scenario
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
Adrian Ispas, Gerd Ascheid, Christian Schneider, R...
CLOUDCOM
2010
Springer
15 years 4 months ago
Performance Analysis of High Performance Computing Applications on the Amazon Web Services Cloud
Cloud computing has seen tremendous growth, particularly for commercial web applications. The on-demand, pay-as-you-go model creates a flexible and cost-effective means to access c...
Keith R. Jackson, Lavanya Ramakrishnan, Krishna Mu...
« Prev « First page 1028 / 1262 Last » Next »