Detecting Wide Lines Using Isotropic Nonlinear Filtering
- 期刊名称IEEE Transactions on Image Processing
- 作者Liu, Laura; Zhang, David; You, Jane
- 卷第16卷
- 期第6期
- 印刷ISSN1057-7149
- 文件大小1994.71KB
- 发表时间2007-06
- DOI10.1109/tip.2007.894288
- 页码1584-1595
Model checking as support for inspecting compliance to rules in flexible processesLetia, Ioan Alfred; Goron, Anca · Journal of Visual Languages & Computing · 2015
Assuring Safety in Air Traffic Control Systems with Argumentation and Model CheckingGómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred · Expert Systems with Applications · 2015
[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Checking the norms for explanationLetia, Ioan Alfred; Goron, Anca · 2012
[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Embedding value-based argumentation in persuasive dialogsLetia, Ioan Alfred; Goron, Anca · 2011
[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid LogicsLetia, Ioan Alfred; Goron, Anca · 2014
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - An Argumentation Approach to Incompletely Specified Software ServicesLetia, Ioan Alfred; Goron, Anca · 2010
[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Handling incompletely specified contracts by ArgumentationLetia, Ioan Alfred; Goron, Anca · 2010