1420 search results - page 89 / 284 » Representation of Graphs by OBDDs |
192
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
154
click to vote
MICS
2010
15 years 1 months ago
2010
In this paper we consider the k-fixed-endpoint path cover problem on proper interval graphs, which is a generalization of the path cover problem. Given a graph G and a set T of k v...
180
click to vote
ICCV
2005
IEEE
15 years 12 months ago
2005
IEEE
When an image is viewed at varying resolutions, it is known to create discrete perceptual jumps or transitions amid the continuous intensity changes. In this paper, we study a per...
156
click to vote
SEMCO
2007
IEEE
16 years 18 days ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
163
click to vote
COLT
2005
Springer
15 years 12 months ago
2005
Springer
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed “manifold-motivated...