Sciweavers

17770 search results - page 315 / 3554
» A Generalization of Forward-Backward Algorithm
Sort
View
229
Voted
DBPL
2007
Springer
158views Database» more  DBPL 2007»
15 years 11 months ago
Efficient Algorithms for the Tree Homeomorphism Problem
Tree pattern matching is a fundamental problem that has a wide range of applications in Web data management, XML processing, and selective data dissemination. In this paper we deve...
Michaela Götz, Christoph Koch, Wim Martens
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 11 months ago
Discrimination of metabolic flux profiles using a hybrid evolutionary algorithm
Studying metabolic fluxes is a crucial aspect of understanding biological phenotypes. However, it is often not possible to measure these fluxes directly. As an alternative, fluxom...
Stefan Bleuler, Eckart Zitzler
CIAC
2010
Springer
246views Algorithms» more  CIAC 2010»
15 years 11 months ago
Capacitated Confluent Flows: Complexity and Algorithms
A flow on a directed network is said to be confluent if the flow uses at most one outgoing arc at each node. Confluent flows arise naturally from destination-based routing. We stud...
Daniel Dressler and Martin Strehler
194
Voted
DGCI
2009
Springer
15 years 10 months ago
A Linear Time and Space Algorithm for Detecting Path Intersection
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
Srecko Brlek, Michel Koskas, Xavier Provenç...
215
Voted
ESOP
2008
Springer
15 years 9 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi