819 search results - page 115 / 164 » Using Assumptions to Distribute CTL Model Checking |
92
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...
109
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
111
Voted
BMCBI
2010
15 years 22 days ago
2010
Background: The information provided by dense genome-wide markers using high throughput technology is of considerable potential in human disease studies and livestock breeding pro...
115
Voted
UAI
2008
15 years 2 months ago
2008
We generalize Shimizu et al's (2006) ICA-based approach for discovering linear non-Gaussian acyclic (LiNGAM) Structural Equation Models (SEMs) from causally sufficient, conti...
145
click to vote
EMMCVPR
2009
Springer
15 years 5 months ago
2009
Springer
Global region-based active contours, like the Chan-Vese model, often make strong assumptions on the intensity distributions of the searched object and background, preventing their ...