Sciweavers

120 search results - page 13 / 24
» Presenting Morphisms of Distributive Laws
Sort
View
COORDINATION
2000
Springer
15 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
53
Voted
CDC
2008
IEEE
15 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
15 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
15 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
15 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