Sciweavers

5165 search results - page 432 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
WABI
2009
Springer
162views Bioinformatics» more  WABI 2009»
16 years 1 months ago
Aligning Biomolecular Networks Using Modular Graph Kernels
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
Fadi Towfic, M. Heather West Greenlee, Vasant Hona...
ESA
2009
Springer
129views Algorithms» more  ESA 2009»
16 years 1 months ago
Constant Ratio Fixed-Parameter Approximation of the Edge Multicut Problem
Abstract. The input of the Edge Multicut problem consists of an undirected graph G and pairs of terminals {s1, t1}, . . . , {sm, tm}; the task is to remove a minimum set of edges s...
Dániel Marx, Igor Razgon
ICASSP
2008
IEEE
16 years 1 months ago
Distributed multi-dimensional hidden Markov models for image and trajectory-based video classifications
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...
Xiang Ma, Dan Schonfeld, Ashfaq A. Khokhar
ICCV
2007
IEEE
16 years 1 months ago
Deformable Template As Active Basis
This article proposes an active basis model and a shared pursuit algorithm for learning deformable templates from image patches of various object categories. In our generative mod...
Ying Nian Wu, Zhangzhang Si, Chuck Fleming, Song C...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
16 years 1 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill