14331 search results - page 316 / 2867 » On the modeling and analysis of obligations |
164
click to vote
WSC
2001
2001
Quantifying simulation output variability using confidence intervals and statistical process control
15 years 8 months ago
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
161
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
This paper proposes a novel Data Envelopment Analysis (DEA) based approach for model combination. We first prove that for the 2-class classification problems DEA models identify t...
209
Voted
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
220
Voted
MOVEP
2000
15 years 10 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
168
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...