9 search results - page 1 / 2 » Closure and Causality |
DAGSTUHL
2006
13 years 7 months ago
2006
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
FSTTCS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
IJRR
2011
13 years 15 days ago
2011
We present a model to estimate motion from monocular visual and inertial measurements. We analyze the model and characterize the conditions under which its state is observable, an...