2661 search results - page 522 / 533 » Model Checking Performability Properties |
LCTRTS
2009
Springer
14 years 2 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
CCECE
2009
IEEE
14 years 2 months ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
MM
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
The capacity scaling property specifies the changes in network throughput when network size increases and serves as an essential performance evaluation metric for large-scale wir...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— We present and examine a technique for estimating the ego-motion of a mobile robot using memory-based learning and a monocular camera. Unlike other approaches that rely...