564 search results - page 104 / 113 » Lazy Code Motion |
121
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
109
click to vote
RAS
2000
15 years 13 days ago
2000
Most of the current work on automated facial expression analysis attempt to recognize a small set of prototypic expressions, such as joy and fear. Such prototypic expressions, how...
95
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Multiple-description coding (MDC) provides a promising solution to support the error-prone transmission over multiple channels. One extremely important application is to design ef...
102
click to vote
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a method for delivering error-resilient video from wireless camera networks in a distributed fashion over lossy channels. Our scheme is based on distributed source codi...
114
click to vote
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper proposes a method for identifying an object which contains an accelerometer out of many moving objects in the view of a stationary camera using motion data obtained ...