3007 search results - page 342 / 602 » Designed -in-diagnostics: A new optical method |
182
click to vote
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
203
click to vote
CGF
2004
15 years 6 months ago
2004
This paper presents a hybrid method for creating three-dimensional shapes by sketching silhouette curves. Given a silhouette curve, we approximate its medial axis as a set of line...
172
Voted
TIP
2010
15 years 5 months ago
2010
Compressed sensing (CS) provides an efficient way to acquire and reconstruct natural images from a reduced number of linear projection measurements at sub-Nyquist sampling rates....
136
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Two-dimensional speckle tracking methods have shown great promise in imaging tissue motion and deformations in the vicinity of blood vessels offering the promise of new methods fo...
189
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...