Sciweavers

4302 search results - page 530 / 861
» Index Pairs Algorithms
Sort
View
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...
POPL
2007
ACM
16 years 7 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
INFOCOM
2009
IEEE
16 years 1 months ago
On Combining Shortest-Path and Back-Pressure Routing Over Multihop Wireless Networks
Abstract—Back-pressure based algorithms based on the algorithm by Tassiulas and Ephremides have recently received much attention for jointly routing and scheduling over multihop ...
Lei Ying, Sanjay Shakkottai, Aneesh Reddy
CVPR
2005
IEEE
16 years 8 months ago
Multi-Image Matching Using Multi-Scale Oriented Patches
This paper describes a novel multi-view matching framework based on a new type of invariant feature. Our features are located at Harris corners in discrete scale-space and oriente...
Matthew Brown, Richard Szeliski, Simon A. J. Winde...
ICCV
2003
IEEE
16 years 8 months ago
Fast Pose Estimation with Parameter-Sensitive Hashing
Example-based methods are effective for parameter estimation problems when the underlying system is simple or the dimensionality of the input is low. For complex and high-dimensio...
Gregory Shakhnarovich, Paul A. Viola, Trevor Darre...