Sciweavers

1033 search results - page 82 / 207
» Properties of Exercise Strategies
Sort
View
IVC
2008
95views more  IVC 2008»
14 years 10 months ago
Computer vision techniques for forest fire perception
This paper presents computer vision techniques for forest fire perception involving measurement of forest fire properties (fire front, flame height, flame inclination angle, fire ...
J. Ramiro Martinez de Dios, Begoña C. Arrue...
SIGMETRICS
2008
ACM
14 years 10 months ago
Joint rate-and-power allocation for multi-channel spectrum sharing networks
abstract, we propose a study on joint rate-and-power allocation problem for multi-channel spectrum sharing networks (SSNs). We formulate this cross-layer optimization problem as a...
Yuan Wu, Danny H. K. Tsang
RAS
2008
167views more  RAS 2008»
14 years 9 months ago
Bio-mimetic impedance control of robotic manipulator for dynamic contact tasks
A human performs a variety of skillful movements by adjusting dynamic characteristics of his or her musculoskeletal system according to a task involved. Such characteristics of hu...
Toshio Tsuji, Yoshiyuki Tanaka
CCS
2010
ACM
14 years 8 months ago
Developing security protocols by refinement
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
Christoph Sprenger, David A. Basin
FORMATS
2010
Springer
14 years 8 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler