Sciweavers

120 search results - page 13 / 24
» Presenting Morphisms of Distributive Laws
Sort
View
COORDINATION
2000
Springer
14 years 1 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
CDC
2008
IEEE
14 years 4 months ago
Passivity-based output synchronization and flocking algorithm in SE(3)
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
Yuji Igarashi, Takeshi Hatanaka, Masayuki Fujita, ...
ISBI
2007
IEEE
14 years 4 months ago
A Continuous Mixture of Tensors Model for Diffusion-Weighted Mr Signal Reconstruction
Diffusion MRI is a non-invasive imaging technique that allows the measurement of water molecular diffusion through tissue in vivo. In this paper, we present a novel statistical mo...
Bing Jian, Baba C. Vemuri, Evren Özarslan, Pa...
ICPR
2006
IEEE
14 years 10 months ago
A Unified Formulation of Invariant Point Pattern Matching
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
Terry Caelli, Tibério S. Caetano
WWW
2009
ACM
14 years 10 months ago
A densitometric analysis of web template content
What makes template content in the Web so special that we need to remove it? In this paper I present a large-scale aggregate analysis of textual Web content, corroborating statist...
Christian Kohlschütter