7393 search results - page 1285 / 1479 » Synthesis-for-testability using transformations |
136
click to vote
MTA
2008
15 years 3 months ago
2008
The digital home entertainment market is growing at an exceptional speed and, although limited to passive listeners, audiobook applications are growing at an annual rate of nearly ...
141
Voted
PAMI
2008
15 years 3 months ago
2008
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
122
Voted
NJC
2006
15 years 3 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
128
Voted
PAMI
2006
15 years 3 months ago
2006
This paper addresses the problem of rotation estimation directly from images defined on the sphere and without correspondence. The method is particularly useful for the alignment ...
125
Voted
SIAMCO
2008
15 years 3 months ago
2008
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...