Sciweavers

796 search results - page 10 / 160
» Graph Properties Based Filtering
Sort
View
CONCUR
2004
Springer
15 years 2 months ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
Paolo Baldan, Andrea Corradini, Barbara König
ICDE
2008
IEEE
159views Database» more  ICDE 2008»
15 years 10 months ago
Fast Graph Pattern Matching
Due to rapid growth of the Internet technology and new scientific/technological advances, the number of applications that model data as graphs increases, because graphs have high e...
Jiefeng Cheng, Jeffrey Xu Yu, Bolin Ding, Philip S...
PAMI
2006
159views more  PAMI 2006»
14 years 9 months ago
Consistency Checks for Particle Filters
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
Ferdinand van der Heijden
ICIP
2008
IEEE
15 years 11 months ago
A post-compensation scheme for Nonlocal Means filter based image restoration
Recent Nonlocal Means filter (NLM) [1] is lack of mean conservation property, that is, image can have different mean before and after being processed. It is not suppose to happen ...
Hao Xu, Jizheng Xu, Feng Wu
GECCO
2008
Springer
171views Optimization» more  GECCO 2008»
14 years 10 months ago
An EDA based on local markov property and gibbs sampling
The key ideas behind most of the recently proposed Markov networks based EDAs were to factorise the joint probability distribution in terms of the cliques in the undirected graph....
Siddhartha Shakya, Roberto Santana