6308 search results - page 1028 / 1262 » Modeling Urgency in Timed Systems |
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
179
click to vote
TOG
2008
15 years 6 months ago
2008
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...
174
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
159
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—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...
191
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
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...