维普期刊资源整合服务平台（V6.5）

69篇 您的检索式：作者名="Otman"

选中清除导出查看参考文献查看引证文献引用追踪共4页首页上一页第1页下一页末页 /4 跳转

	题名	作者	年代	出处	被引量
1	An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs显示文摘In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness proof of each operation is provided. The MDG reachability algorithm is then defined as a conversion that uses our MDG theory within HOL. Finally, a set of experimentations over benchmark circuits has been conducted to ensure the applicability and to measure the performance of our approach.	Sa'ed Abed Otmane Ait Mohamed Ghiath Al-Sammane	2009	Journal of Computer Science & Technology2009，24，1：	2
2	Exchange strategies for multiple Ant Colony System显示文摘	Issmail Ellabib Paul Calamai Otman Basir	2006	Information Sciences2006，，5：	2
3	Low-dose aspirin prevents pregnancy-induced hypertension and pre-eclampsia in angiotensin-sensitive primigravidae 显示文摘	Wallenburg HC Dekker GA Makovitz JW R otmans P	1986	Lancet1986，1，8471：	1
4	Connectionist-based dempstershafer evidential reasoning for data fusion显示文摘	Otman B Fakhri K Zhu Hong-wei	2005	IEEE Transactions on Neural Networks2005，16，6：	1
5	Engine fault diagnosis based on multi-sensor information fusion using Dempster-Shafer evidence theory 显示文摘	Otman Basir Xiaohong Yuan	2007	Information Fusion2007，，8：	1
6	Detection of metal, glass and plastic pieces in bottled beverages using ultrasound 显示文摘	Bosen Zhao Otman A Basir Gauri S Mittal	2003	Food Research International2003，，36：	1
7	Exchange strategies for multiple ant colony system 显示文摘	Issmail Ellabib Paul Calamai Otman Basir	2006	J of Information Sciences2006，3，1：	1
8	Prefabricated vascularised supraclavicular flaps for face resurfacing after postburns scarring显示文摘	Teot L Cherenfant E Otman S	2000	Lancet2000，355，9216：	1
9	Exchange strategies for multiple ant colony system显示文摘	Issmail E Paul C Otman B	2007	Information Sciences2007，177，5：	1
10	Engine fault diagnosis based on muLti-sensor information fusion using Dempster-Shafer evidence theory显示文摘	Otman Basir Xiaohong Yuan	2007	Information Fusion2007，8，4：	1
11	Falthest point distance: a new shape signature for Fourier descriptors 显示文摘	AKREM E G OTMAN B SAEID B	2009	Signal Processing: Image Gommunication2009，24，7：	1
12	Engine fault diagnosis based on multi-sensor information fusion using Dempster-Shafer evidence theory显示文摘	Basir Otman Yuan Xiaohong	2007	Information Fusion2007，8，4：	1
13	Engine fault diagnosis based on multi-sensor information fusion using dempster-shafer evidence theory 显示文摘	OTMAN B YUAN X H	2007	Information Fusion2007，，8：	1
14	Engine Fault Diagnosis Based on Multi-sensor Information Fusion Using Demp- ster- sharer Evidence Theory显示文摘	Otman B Yuan X H	2007	Information Fu- sion2007，8，4：	1
15	Engine Fault Diagnosis Based on Multi-sensor Information Fusion Using Demp- ster-Shafer Evidence Theory显示文摘	Otman B Yuan X H	2007	Information Fu- sion2007，8，4：	1
16	Structural and microwaveabsorption properties of nanostructured Fe-Co alloys 显示文摘	Bergheul S Otmane F Azzaz M	2012	Adv Powders Techn2012，23，5：	1
17	Short-term prog-nostic value of serum neuron specific enolase and S100B inacute stroke patients 显示文摘	SERGIO G ALINA G OTMAN F	2012	Clin Biochem2012，45，7：	1
18	Engine fault diagnosis based on multi- sensor information fusion using dempster-shafer evidence theory 显示文摘	Otman B Yuan Xiaohong	2007	Information Fusion2007，8，4：	1
19	Engine fault diagnosis based on multi-sensor information fusion using Dempster- Shafer evidence theory显示文摘	OTMAN B YUAN X H	2007	Information Fusion2007，8，4：	1
20	Engine fault diagnosis based on multi-sensor information fusion using Dempster–Shafer evidence theory显示文摘	Otman Basir Xiaohong Yuan	2005	Information Fusion2005，，4：	1

返回顶部每页显示：

共4页首页上一页第1页下一页末页 /4 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示