940 search results - page 45 / 188 » Local rely-guarantee reasoning |
BMVC
2010
13 years 8 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper, we propose a new method for automatically tracking the motion of local region in left ventricular myocardium by means of ultrasonic pulsed Doppler signal. This meth...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Accurate fault detection and localization is essential to the efficient and economical operation of ISP networks. In addition, it affects the performance of Internet applicatio...
HPCC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Low-power design became crucial with the widespread use of the embedded systems, where a small battery has to last for a long period. The embedded processors need to ef...