Sciweavers

7921 search results - page 205 / 1585
» LSH-preserving functions and their applications
Sort
View
GG
2008
Springer
15 years 7 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
AUTOMATICA
2006
135views more  AUTOMATICA 2006»
15 years 6 months ago
Finite-time convergent gradient flows with applications to network consensus
This paper introduces the normalized and signed gradient dynamical systems associated with a differentiable function. Extending recent results on nonsmooth stability analysis, we ...
Jorge Cortés
JAT
2006
66views more  JAT 2006»
15 years 6 months ago
An extrapolation theorem for nonlinear approximation and its applications
We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove end...
Feng Dai
ICASSP
2011
IEEE
14 years 10 months ago
A new stochastic image model based on Markov random fields and its application to texture modeling
Stochastic image modeling based on conventional Markov random fields is extensively discussed in the literature. A new stochastic image model based on Markov random fields is intr...
Siamak Yousefi, Nasser D. Kehtarnavaz
ICST
2009
IEEE
16 years 1 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser