5699 search results - page 6 / 1140 » Alternating model trees |
QEST
2005
IEEE
15 years 4 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
CSDA
2008
14 years 10 months ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
SCANGIS
2003
14 years 12 months ago
2003
The paper describes a concept for GIS based terrain mobility modelling and optimization of off-road route. The concept of generation of cost surface is based on machine, terrain, ...
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...