Sciweavers

1576 search results - page 159 / 316
» Properties of Synthetic Optimization Problems
Sort
View
COCOON
2005
Springer
15 years 10 months ago
RIATA-HGT: A Fast and Accurate Heuristic for Reconstructing Horizontal Gene Transfer
Horizontal gene transfer (HGT) plays a major role in microbial genome diversification, and is claimed to be rampant among various groups of genes in bacteria. Further, HGT is a ma...
Luay Nakhleh, Derek A. Ruths, Li-San Wang
207
Voted
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
15 years 11 months ago
A convex programming approach for color stereo matching
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
Wided Miled, Béatrice Pesquet-Popescu, Jean...
ICALP
2010
Springer
15 years 9 months ago
Mean-Payoff Games and Propositional Proofs
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
Albert Atserias, Elitza N. Maneva
HYBRID
2007
Springer
15 years 10 months ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
14 years 8 months ago
Cooperative mission planning for a class of carrier-vehicle systems
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
Emanuele Garone, Roberto Naldi, Alessandro Casavol...