1940 search results - page 8 / 388 » Graph Transformation with Variables |
SAT
2004
Springer
14 years 3 months ago
2004
Springer
We define a collection of mappings that transform many-valued clausal forms into satisfiability equivalent Boolean clausal forms, analyze their complexity and evaluate them empir...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper proposes the variable block-size transform and context-based entropy coding techniques for the enhancement layer of FGS (Fine Granularity Scalable) video coding. First,...
SIAMIS
2008
13 years 9 months ago
2008
This paper introduces a new approach to the problem of quantitative reconstruction of an object from few radiographic views. A mixed variable programming problem is formulated in ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In our previous work, we introduced Spatially Varying Transforms (SVT) for video coding, where the location of the transform block within the macroblock is not fixed but varying. ...