首页> 外文OA文献 >Finding Extremal Models of Discrete Duration Calculus Formulae Using Symbolic Search

【2h】

Finding Extremal Models of Discrete Duration Calculus Formulae Using Symbolic Search

机译：用符号搜索法求离散持续时间演算公式的极值模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Paritosh K. Pandya;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Bounded model-checking of discrete duration calculus [J] . Vitus S. W. Lam Computing reviews . 2013,第12期

机译：离散持续时间演算的有界模型检查
2. Does the social context help with understanding and predicting the choice of activity type and duration? An application of the Multiple Discrete-Continuous Nested Extreme Value model to activity diary data [J] . Calastri Chiara, Hess Stephane, Daly Andrew, Transportation Research . 2017,第octa期

机译：社会背景是否有助于理解和预测活动类型和持续时间的选择？多重离散连续嵌套极值模型在活动日记数据中的应用
3. Symbolic models for stochastic switched systems: A discretization and a discretization-free approach [J] . Zamani Majid, Abate Alessandro, Girard Antoine Automatica . 2015,第Null期

机译：随机交换系统的符号模型：离散化和无离散化方法
4. Finding Optimal Model Parameters by Discrete Grid Search [C] . Alvaro Barbero Jimenez, Jorge Lopez Lazaro, Jose R. Dorronsoro International Workshop on Hybrid Artificial Intelligent Systems(HAIS 2007); 200711; Salamanca(ES) . 2007

机译：通过离散网格搜索找到最佳模型参数
5. Finding presheaf models for the finite pi-calculus. [D] . Beaulieu, Guy. 2002

机译：为有限的pi演算找到放样模型。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search [O] . Pandya Paritosh K. 2005

机译：使用符号搜索查找离散持续时间演算公式的极值模型
8. Truth of Duration Calculus Formulae in Timed Frames; Software engineering rept [R] . Middelburg, C. A. 1998

机译：时间框架中持续时间微积分公式的真实性;软件工程部

Finding Extremal Models of Discrete Duration Calculus Formulae Using Symbolic Search

著录项

引文网络

相似文献

相关主题

期刊订阅