819 search results - page 97 / 164 » Using Assumptions to Distribute CTL Model Checking |
150
click to vote
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
126
click to vote
AUTOMATICA
2010
15 years 4 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
143
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
148
click to vote
DIALM
2010
ACM
15 years 2 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
146
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper develops an approach for on-line segmentation of whole body human motion patterns during human motion observation and learning. A Hidden Markov Model is used...