IST Austria;
IST Austria;
IST Austria;
机译:CEGAR用于马尔可夫决策过程中定性性质的成分分析
机译:通过概率学习方式组合在自适应教育系统中自动进行学生建模:两种创新的随机方法之间的定性比较
机译:通过概率学习方式组合在自适应教育系统中自动进行学生建模:两种创新的随机方法之间的定性比较
机译:概率系统定性分析的CEGAR
机译:使用商品高性能计算系统的电力系统概率和安全性分析。
机译:统计和概率分析。分析和表示的新工具:XS:通过集成图形统计系统关系数据库系统和专家系统外壳构建的线性回归分析和综合系统
机译:CEGaR用于概率系统的定性分析
机译:非线性参数化系统的定性分析。第2部分:非线性系统全局分析的一种方法