Sciweavers

1213 search results - page 59 / 243
» Approximation in quantale-enriched categories
Sort
View
CVPR
2011
IEEE
14 years 5 months ago
Discriminative Image Warping with Attribute Flow
We address the problem of finding deformation between two images for the purpose of recognizing objects. The challenge is that discriminative features are often transformation-va...
Weiyu Zhang, Praveen Srinivasan, Jianbo Shi
BMCBI
2004
143views more  BMCBI 2004»
14 years 10 months ago
Comparing functional annotation analyses with Catmap
Background: Ranked gene lists from microarray experiments are usually analysed by assigning significance to predefined gene categories, e.g., based on functional annotations. Tool...
Thomas Breslin, Patrik Edén, Morten Krogh
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
15 years 4 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
STOC
2006
ACM
113views Algorithms» more  STOC 2006»
15 years 4 months ago
Logarithmic hardness of the directed congestion minimization problem
We show that for any constant ε > 0, there is no Ω(log1−ε M)approximation algorithm for the directed congestion minimization problem on networks of size M unless NP ⊆ Z...
Matthew Andrews, Lisa Zhang
ISSAC
2004
Springer
67views Mathematics» more  ISSAC 2004»
15 years 3 months ago
Rational general solutions of algebraic ordinary differential equations
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
Ruyong Feng, Xiao-Shan Gao