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 6 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
209
Voted
FMCAD
2006
Springer
15 years 11 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
185
Voted
AISC
2010
Springer
16 years 8 days 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...
189
Voted
ICASSP
2009
IEEE
16 years 2 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