Sciweavers

4228 search results - page 197 / 846
» Models and Methods in Comparative Genomics
Sort
View
PAMI
2002
177views more  PAMI 2002»
15 years 3 months ago
Adjusting Shape Parameters Using Model-Based Optical Flow Residuals
We present a method for estimating the shape of a deformable model using the least-squares residuals from a model-based optical flow computation. This method is built on top of an...
Douglas DeCarlo, Dimitris N. Metaxas
NAACL
2010
15 years 2 months ago
Softmax-Margin CRFs: Training Log-Linear Models with Cost Functions
We describe a method of incorporating taskspecific cost functions into standard conditional log-likelihood (CLL) training of linear structured prediction models. Recently introduc...
Kevin Gimpel, Noah A. Smith
EMNLP
2011
14 years 4 months ago
Generating Aspect-oriented Multi-Document Summarization with Event-aspect model
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...
Peng Li, Yinglin Wang, Wei Gao, Jing Jiang
BMCBI
2010
131views more  BMCBI 2010»
15 years 1 months ago
A two-step site and mRNA-level model for predicting microRNA targets
Background: Despite experiments showing that the number of microRNA (miRNA) target sites is critical for miRNA targeting, most existing methods focus on identifying individual miR...
Takaya Saito, Pål Sætrom
SAT
2005
Springer
123views Hardware» more  SAT 2005»
15 years 9 months ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz