...

首页> 外文期刊>International Journal of Computer Science & Applications >Formal Approach for the Coherence Control of SMIL Documents

【24h】

Formal Approach for the Coherence Control of SMIL Documents

机译：SMIL文档一致性控制的正式方法

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《International Journal of Computer Science & Applications》 |2006年第2期|共页
作者
D. Dahmani; L. Kaddouri.; S. Mazouz;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类农业科学;
关键词

相似文献

外文文献
中文文献
专利

1. Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method [J] . Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid, Journal of integrated design & process science . 2016,第3期

机译：SMIL文档中的时间和空间相干验证，具有逻辑和析出约束：混合形式方法
2. An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents [J] . Courtiat Jean-Pierre, LAAS Toulouse France, Sampaio Paulo N.M., Brazilian Computer Society. Journal . 2004,第3期

机译：一种从SMIL 2.0文档自动生成RT-LOTOS规范的方法
3. Document Spanners: A Formal Approach to Information Extraction [J] . RONALD FAGIN, BENNY KIMELFELD, FREDERICK REISS, Journal of the Association for Computing Machinery . 2015,第2期

机译：文件扳手：信息提取的一种正式方法
4. Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation [C] . Abdelghani Ghomari, Naceur Belheziel, Fatma-Zohra Mekahlia, International conference on model and data engineering . 2013

机译：迈向验证SMIL文档演示文稿中时间一致性的正式方法
5. Motion planning and control: A formal methods approach. [D] . Vasile, Cristian-Ioan. 2016

机译：运动计划和控制：一种正式的方法。
6. Formal comment on Assessing the impact of the ‘one-child policy’ in China: A synthetic control approach [O] . Daniel Goodkind 2019

机译：正式评述评估中国一童政策的影响：一种合成控制方法
7. An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents [O] . Paulo N.M. Sampaio, Jean-Pierre Courtiat 2004

机译：来自SMIL 2.0文档的自动生成RT-LOTOS规范的方法

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号