Sciweavers

2880 search results - page 147 / 576
» Types are calling conventions
Sort
View
ISCAS
2005
IEEE
209views Hardware» more  ISCAS 2005»
16 years 2 days ago
Low complexity H.263 to H.264 video transcoding using motion vector decomposition
The H.264 adopts various block types and multiple reference frames for motion compensation. For transcoding a video sequence from the H.263 format to the H.264 format, it is benef...
Kai-Tat Fung, Wan-Chi Siu
NAR
2011
199views Computer Vision» more  NAR 2011»
14 years 9 months ago
RepTar: a database of predicted cellular targets of host and viral miRNAs
Computational identification of putative microRNA (miRNA) targets is an important step towards elucidating miRNA functions. Several miRNA target-prediction algorithms have been de...
Naama Elefant, Amnon Berger, Harel Shein, Matan Ho...
ICFP
2004
ACM
16 years 6 months ago
Translating dependency into parametricity
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
Stephen Tse, Steve Zdancewic
SP
2008
IEEE
133views Security Privacy» more  SP 2008»
16 years 26 days ago
ClearShot: Eavesdropping on Keyboard Input from Video
Eavesdropping on electronic communication is usually prevented by using cryptography-based mechanisms. However, these mechanisms do not prevent one from obtaining private informat...
Davide Balzarotti, Marco Cova, Giovanni Vigna
SAC
2005
ACM
16 years 1 days ago
Identifying topological predicates for vague spatial objects
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
Alejandro Pauly, Markus Schneider