979 search results - page 49 / 196 » Footprints in Local Reasoning |
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
IFIPTM
2010
13 years 6 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
BMVC
2010
13 years 5 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 8 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 8 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...