𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cut Set Analysis using Behavior Trees and model checking

✍ Scribed by Peter A. Lindsay; Nisansala Yatapanage; Kirsten Winter

Publisher
Springer
Year
2011
Tongue
English
Weight
592 KB
Volume
24
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Modeling Web session behavior using clus
Modeling Web session behavior using cluster analysis: A comparison of three search settings
✍ Dietmar Wolfram; Peiling Wang; Jin Zhang πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 103 KB

## Abstract Session characteristics taken from large transaction logs of three Web search environments (academic website, public search engine, consumer health information service) are modeled using cluster analysis to determine if different session groups emerge for each environment. The analysis

Analysis and synthesis of geometric mode
Analysis and synthesis of geometric models using tree-structured relations
✍ Ping-Ling Tsai; Chi-Chang Fu; Wei-Hua Chieng πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 1012 KB

In this study, we propose a methodology capable of analysing and synthesizing relational geometric design models, based on a mapping between geometric nodes (points) on the model and the physical dimensions of the solid model. The relations that include translation and rotation between the geometric

Modeling discrete choice behavior using
Modeling discrete choice behavior using concepts from fuzzy set theory, approximate reasoning and neural networks
✍ Petros C. Vythoulkas; Haris N. Koutsopoulos πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 279 KB

Models of discrete choice analysis are usually based on the random utility framework. They assume that decision makers make decisions that maximize their utility. Alternative formulations of the problem have also been proposed in the literature. These approaches model the decision makersΓ• perception