Sciweavers

4451 search results - page 246 / 891
» On Random Ordering Constraints
Sort
View
MFCS
1997
Springer
15 years 10 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
16 years 1 months ago
On the convergence time of distributed quantized averaging algorithms
— We come up with novel quantized averaging algorithms on synchronous and asynchronous communication networks with fixed, switching and random topologies. The implementation of ...
Minghui Zhu, Sonia Martínez
RANDOM
2001
Springer
15 years 11 months ago
On Euclidean Embeddings and Bandwidth Minimization
We study Euclidean embeddings of Euclidean metrics and present the following four results: (1) an O(log3 n √ log log n) approximation for minimum bandwidth in conjunction with a ...
John Dunagan, Santosh Vempala
BIOSYSTEMS
2008
85views more  BIOSYSTEMS 2008»
15 years 6 months ago
From a homeostatic to a homeodynamic self
Life as an autonomous homeostatic system is discussed. A mechanism that drives a homeostatic state to an autonomous selfmoving state is examined with two computational cell models...
Takashi Ikegami, Keisuke Suzuki
DCC
2010
IEEE
16 years 1 months ago
Block Compressed Sensing of Images Using Directional Transforms
Block-based random image sampling is coupled with a projectiondriven compressed-sensing recovery that encourages sparsity in the domain of directional transforms simultaneously wi...
Sungkwang Mun, James E. Fowler