نتایج جستجو برای: improving source location precision

تعداد نتایج: 962658  

2006
Marco Anisetti Valerio Bellandi Ernesto Damiani Fabrizio Beverina Luigi Arnone Benoit Rat

Face detection has recently received meaningful attention, especially during the past decade as one of the most prosperous applications of image analysis and understanding. Video surveillance is for example, one emerging application environment. This paper presents a method for accurate face localization through a coarse preliminary detection and a following 3D refinement (A3FD: Accurate 3D Fac...

2011
Soumaya Medini Philippe Galinier Massimiliano Di Penta Yann-Gaël Guéhéneuc Giuliano Antoniol

The identification of cohesive segments in execution traces is a important step in concept location which, in turns, is of paramount importance for many program-comprehension activities. In this paper, we reformulate the trace segmentation problem as a dynamic programming problem. Differently to approaches based on genetic algorithms, dynamic programming can compute an exact solution with bette...

Journal: :محیط شناسی 0
علیرضا قانع دانشگاه تربیت مدرس مهدی مظاهری هیات علمی دانشگاه تربیت مدرس جمال محمد ولی سامانی دانشگاه تربیت مدرس

application of backward probability method in pollutant source tracking in non-uniform flow riversalireza ghanem.sc. student of water structures, tarbiat modares university, tehranmehdi mazaheri assistant prof., department of water structures, tarbiat modares university, tehranjamal mohammad vali samaniprofessor, department of water structures, tarbiat modares university, tehranintroductionriv...

2015
Andrei Marian Dan Yuri Meshman Martin T. Vechev Eran Yahav

We present a new abstract interpretation based approach for automatically verifying concurrent programs running on relaxed memory models. Our approach is based on three key insights: (i) behaviors of relaxed models (e.g. TSO and PSO) are naturally captured using explicit encodings of store buffers. Directly using such encodings for program analysis is challenging due to shift operations on buff...

Journal: :Proceedings of the Japan Society of Civil Engineers 1978

2017
Jie Zhang Ying Chen Yunxia Chen Chenchen Wang Jing Cai Kaiyue Chu Jianhua Jin Yun Ge Xiaolin Huang Yue Guan Weifeng Li

PURPOSE To minimize the mismatch error between patient surface and immobilization system for tumor location by a noninvasive patient setup method. MATERIALS AND METHODS The method, based on a point set registration, proposes a shift for patient positioning by integrating information of the computed tomography scans and that of optical surface landmarks. An evaluation of the method included 3 ...

Journal: :The Journal of the Acoustical Society of America 1985

Journal: :Journal of Rock Mechanics and Geotechnical Engineering 2012

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید