Sciweavers

59 search results - page 7 / 12
» Automatically locating framework extension examples
Sort
View
CVPR
2005
IEEE
14 years 9 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...
ICASSP
2008
IEEE
14 years 2 months ago
Visual-aural attention modeling for talk show video highlight detection
In this paper, we propose a visual-aural attention modeling based video content analysis approach, which can be used to automatically detect the highlights of the popular TV progr...
Yijia Zheng, Guangyu Zhu, Shuqiang Jiang, Qingming...
TSMC
2010
13 years 2 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
TPHOL
2009
IEEE
14 years 2 months ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk
RECOMB
2006
Springer
14 years 8 months ago
CONTRAlign: Discriminative Training for Protein Sequence Alignment
In this paper, we present CONTRAlign, an extensible and fully automatic framework for parameter learning and protein pairwise sequence alignment using pair conditional random field...
Chuong B. Do, Samuel S. Gross, Serafim Batzoglou