Sciweavers

744 search results - page 56 / 149
» Observations on the Decidability of Transitions
Sort
View
ESEC
1997
Springer
14 years 1 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ICASSP
2008
IEEE
14 years 3 months ago
Bootstrap tests for the time constancy of multifractal attributes
On open and controversial issue in empirical data analysis is to decide whether scaling and multifractal properties observed in empirical data actually exist, or whether they are ...
Herwig Wendt, Patrice Abry
GLOBECOM
2007
IEEE
14 years 1 months ago
Bursty Traffic in Energy-Constrained Opportunistic Spectrum Access
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
Yunxia Chen, Qing Zhao, Ananthram Swami
AAAI
2011
12 years 9 months ago
Transportability of Causal and Statistical Relations: A Formal Approach
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
Judea Pearl, Elias Bareinboim
IROS
2009
IEEE
131views Robotics» more  IROS 2009»
14 years 3 months ago
A robotic closed-loop scheme to model human postural coordination
— This paper models recent data in the field of postural coordination showing the existence of self-organized postural states, and transition between them, underlying suprapostu...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...