900 search results - page 85 / 180 » On Polynomial Time Computation over Unordered Structures |
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ICAI
2010
13 years 6 months ago
2010
Belief propagation is widely used in inference of graphical models. It yields exact solutions when the underlying graph is singly connected. When the graph contains loops, double-c...
FLAIRS
2004
13 years 10 months ago
2004
Corrosion is one of the degrading mechanisms that greatly affect the structural integrity of aerospace components. Corrosion begins with small imperfections in the given material ...
COMPGEOM
2010
ACM
14 years 1 months ago
2010
ACM
Inference of topological and geometric attributes of a hidden manifold from its point data is a fundamental problem arising in many scientific studies and engineering application...
EMMCVPR
2007
Springer
14 years 3 months ago
2007
Springer
Video segmentation requires the partitioning of a series of images into groups that are both spatially coherent and smooth along the time axis. We formulate segmentation as a Bayes...