7393 search results - page 1187 / 1479 » Synthesis-for-testability using transformations |
179
click to vote
CVPR
2010
IEEE
16 years 14 days ago
2010
IEEE
In this paper, we propose two new, perceptually motivated strategies to better measure the similarity of 2D shape instances that are in the form of closed contours. The first strat...
139
click to vote
CVPR
2010
IEEE
16 years 6 days ago
2010
IEEE
We present a framework that retains ambiguity in feature matching to increase the performance of 3D object recognition systems. Whereas previous systems removed ambiguous correspo...
157
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
101
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Numerous recent reports have assessed the adequacy of current generating capacity to meet the growing electricity demand from Plug-in Hybrid Electric Vehicles (PHEVs) and the pote...
141
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This work proposes and evaluates a sampling algorithm based on wavelet transforms with Coiflets basis to reduce the data sensed in wireless sensor networks applications. The Coiï...