Search Results

1 - 10 of 4,171 items :

  • "verification" x
Clear All

References Davis, L. (1991). Handbook of Genetic Algorithms, Vol. 115, Van Nostrand Reinhold, New York, NY. Durrett, R. (2010). Probability: Theory and Examples, Cambridge University Press, Cambridge. Faundez-Zanuy, M. (2007). On-line signature recognition based on VQ-DTW, Pattern Recognition 40(3): 981-992. Fauziyah, S., Azlina, O., Mardiana, B., Zahariah, A.M. and Haroon, H. (2009). Signature verification system using support vector machine, MASAUM Journal of Basic and Applied Sciences 1(2): 291-294. Galbally, J., Fierrez, J., Freire, M. and Ortega-Garcia, J

References Auer, E. (2007). SmartMOBILE: A framework for reliable modeling and simulation of kinematics and dynamcis of mechanical systems , Ph.D. thesis, Universität Duisburg-Essen, Duisburg. Auer, E. and Luther, W. (2007). SmartMOBILE—An environment for guaranteed multibody modeling and simulation, Proceedings of the 4th International Conference on Informatics in Control, Automation and Robotics ICINCO, Angers, France , pp. 109-116. Auer, E. and Luther, W. (2009). Numerical verification assessment in computational biomechanics, Proceedings of the Dagstuhl

supplementing Directive 2001/83/EC of the European Parliament and of the Council by laying down detailed rules for the safety features appearing on the packaging of medicinal products for human use. ]. 15. National register of BPhU,РЕГИСТЪР/22_София-столична.htm?search:13 . 16. Medicines verification system goes live across EU to better protect patients from falsified medicines,

References 1. Nalwa, V. S., I. Ekeland. Automatic On-Line Signature Verification. - In: Proceedings of the IEEE'85, 1997, 213-239. 2. Kholmatov, A., B. Yanikoglu. SUSIG: An On-Line Signature Database, Associated Protocols and Benchmark Results. - Pattern Analysis & Applications, Vol. 12, 2009, 227-236. 3. Jain, A., Li Stan. Encyclopedia of Biometrics. Springer, 2009. 4. Boyadzhieva, D., G. Gluhchev. Feature Set Selection for On-Line Signatures Using Selection of Regression Variables. - In: Proceedings of 4th International Conference on Pattern Recognition and

References [1] K. R. Apt, E.-R. Olderog, Verification of Sequential and Concurrent Program, Springer-Verlag, 1997. )67 [2] E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Clifis, New York, 1976. )65, 68, 73 [3] Á. Fóthi, Mathematical Approach to Programming, Ann. Univ. Sci. Budapest. Sect. Comput. 9 (1988) 105–114. )65, 68 [4] Á. Fóthi et al, Some concepts of a Relational Model of Programming, Proc. 4th Symposium on Programming Language and Software Tools, Visegrfiad, Hungary, June 8-14, 1995. (ed. Varga L.,) pp. 434–446, )65 [5] Á. Fóthi

References 1. Hafemann, L. G., R. Sabourin, L. S. Oliveira. Offline Handwritten Signature Verification: Literature Review. – In: Proc. of 7th International Conference on Image Processing Theory, Tools and Applications (IPTA’17), November 2017, pp. 1-8. 2. Kalera, M. K., S. N. Srihari, A. Xu. Offline Signature Verification and Identification Using Distance Statistics. – IJPRAI, Vol. 18 , 2004, pp. 1339-1360. 3. Vargas, F., M. Ferrer, C. Travieso, J. Alonso. Off-Line Handwritten Signature Gpds-960 Corpus. –In: Proc. of 9th International Conference on Document

REFERENCES [1] S. Merkourakis, I. Calleja, L. Delgado, A. Oçafrain, S. Laurent “ Environmental Technologies Verification Systems “. [Online] Available: [2] ENVIRONMENTAL TECHNOLOGY VERIFICATION , Consultations Analysis Report July 2008. [Online] Available: [3] I. Ratman-Kłosińska, B. Michaliszyn, „ Systemy wdrażania ekoinnowacji na świecie ”; [w: Ekoinnowacje w praktyce funkcjonowania MŚP ; red. L. Woźniak, J. Strojny, E. Wojnicka

References Barkaoui, K. and Ben Ayed, R. (2011). Uniform verification of workflow soundness, Transactions of the Institute of Measurement and Control 33(1): 133-148. Barkaoui, K. and Petrucci, L. (1998). Structural analysis of workflow nets with shared resources, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM’98), Lisbon, Portugal, pp. 82-95. Basu, A. and Blanning, R.W. (2000). A formal approach to workflow analysis, Information Systems Research 11(1): 17-36. Basu, A. and Blanning, R.W. (2002). Research commentary

. 541-580. 16. Liu, C., Q. Zeng, H. Duan. Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net Based Approach. - International Journal of Science and Engineering Applications, Vol. 3, 2014, No 4, pp. 107-112. 17. Zeng Q., F. Lu, C. Liuet al. Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Net. - Chin. J. Comput., Vol. 36, 2013, pp. 2291-2301. 18. Reisig, W. Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series. Vol. 4, Berlin, Springer-Verlag, 1985. 19. Tsenga, J., M


One of the most important parts of construction work is the verification of the geometry of the parts of structures and buildings constructed. Today this procedure is often semi- or fully automated. The paper introduces an approach for the automated verification of parts of buildings, by comparing the design of a building (as-planned model), derived from a Building Information Model (BIM) in an Industry Foundation Classes (IFC) exchange format to a terrestrial laser scanning (TLS) point cloud (as-built model). The approach proposed has three main steps. The process begins with the acquisition of information from the as-planned model in the IFC exchange format; the second step is the automated (wall) plane segmentation from the point cloud. In the last step, the two models mentioned are compared to determine the deviations from the design, and the as-built wall flatness quantification is also executed. The potential of the proposed algorithm is shown in a case-study.