Sciweavers

10682 search results - page 390 / 2137
» A Graph Based Process Representation for Process Modeling
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Robust video fingerprints based on subspace embedding
We present a novel video fingerprinting method based on subspace embedding. The proposed method is particularly robust against frame-rate conversion attacks and geometric attacks...
Regunathan Radhakrishnan, Claus Bauer
ISVC
2010
Springer
15 years 5 months ago
Computer-Generated Tie-Dyeing Using a 3D Diffusion Graph
Abstract. Hand dyeing generates artistic representations with unique and complex patterns. The aesthetics of dyed patterns on a cloth originate from the physical properties of dyei...
Yuki Morimoto, Kenji Ono
FMCAD
2006
Springer
15 years 10 months ago
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
Florian Pigorsch, Christoph Scholl, Stefan Disch
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
ICASSP
2009
IEEE
16 years 1 months ago
Hierarchical fusion of color and depth information at partition level by cooperative region merging
A high level scheme for information fusion to create hierarchical region-based image representations based on a region merging process is presented. The strategy is based on an it...
Felipe Calderero, Ferran Marqués