Sciweavers

2713 search results - page 5 / 543
» Parameterized Tree Systems
Sort
View
90
Voted
ICCV
1998
IEEE
16 years 4 months ago
Representation and Self-Similarity of Shapes
Representing shapes is a signi cant problem for vision systems that must recognize or classify objects. We derive a representation for a given shape by investigating its self-simi...
Tyng-Luh Liu, Davi Geiger, Robert Kohn
ECCC
2007
90views more  ECCC 2007»
15 years 2 months ago
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
ICALP
2007
Springer
15 years 8 months ago
Parameterized Algorithms for Directed Maximum Leaf Problems
d Abstract) Noga Alon∗ Fedor V. Fomin† Gregory Gutin‡ Michael Krivelevich§ Saket Saurabh¶ We prove that finding a rooted subtree with at least k leaves in a directed grap...
Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael ...
ICCAD
2005
IEEE
87views Hardware» more  ICCAD 2005»
15 years 11 months ago
Parameterized model order reduction of nonlinear dynamical systems
— In this paper we present a parameterized reduction technique for non-linear systems. Our approach combines an existing non-parameterized trajectory piecewise linear method for ...
Bradley N. Bond, Luca Daniel
ECAI
2004
Springer
15 years 6 months ago
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou