Sciweavers

172 search results - page 15 / 35
» Composing the digital rainstick
Sort
View
WCE
2007
15 years 6 months ago
Determination of the Position and Orientation of Rigid Bodies by Using Single Camera Images
- This study aims to present a new reconstruction method which enables reconstruction of 3D configuration of an object using single camera images. A secondary planar target which i...
Varlik Kilic, Bulent E. Platin
ENTCS
2007
129views more  ENTCS 2007»
15 years 5 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
170
Voted
ISPDC
2010
IEEE
15 years 4 months ago
Pretty Good Accuracy in Matrix Multiplication with GPUs
—With systems such as Road Runner, there is a trend in super computing to offload parallel tasks to special purpose co-processors, composed of many relatively simple scalar proc...
Matthew Badin, Lubomir Bic, Michael B. Dillencourt...
ICASSP
2011
IEEE
14 years 9 months ago
Anti-aliasing filter for subpixel down-sampling based on frequency analysis
Nowadays, digital pictures are usually captured at very high resolution ranged up to 12 mega-pixels. Limited by low-resolution display, we have to shrink the image. Signal process...
Lu Fang, Ketan Tang, Oscar C. Au, Aggelos K. Katsa...
AOSD
2008
ACM
15 years 7 months ago
Modularity first: a case for mixing AOP and attribute grammars
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
Pavel Avgustinov, Torbjörn Ekman, Julian Tibb...