325 search results - page 53 / 65 » Structured Reachability Analysis for Markov Decision Process... |
113
Voted
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
145
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
138
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
163
Voted
GI
1998
Springer
15 years 8 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
97
Voted
IADIS
2004
15 years 5 months ago
2004
E-Cases is an innovative approach to management development. Traditional case studies typically describe a decision or a problem in a real-life setting. E-Cases encourage students...