Добірка наукової літератури з теми "Ranking verification"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Ranking verification".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Ranking verification"
Encrenaz, Emmanuelle, and Alain Finkel. "Automatic Verification of Counter Systems With Ranking Function." Electronic Notes in Theoretical Computer Science 239 (July 2009): 85–103. http://dx.doi.org/10.1016/j.entcs.2009.05.032.
Повний текст джерелаStepanyuk, O. I., and V. P. Novosad. "Verification of final ranking which received because of the expert evaluation." Scientific Messenger of LNU of Veterinary Medicine and Biotechnologies 21, no. 93 (November 16, 2019): 96–101. http://dx.doi.org/10.32718/nvlvet-e9319.
Повний текст джерелаZmyślony, Piotr, and Natalia Piechota. "The World’s Tourist Metropolis in International Cities’ Rankings – Statistical Multicriterial Ranking Analysis." Folia Turistica 38 (March 31, 2016): 57–80. http://dx.doi.org/10.5604/01.3001.0008.9384.
Повний текст джерелаBALABAN, ITTAI, AMIR PNUELI, and LENORE D. ZUCK. "MODULAR RANKING ABSTRACTION." International Journal of Foundations of Computer Science 18, no. 01 (February 2007): 5–44. http://dx.doi.org/10.1142/s0129054107004553.
Повний текст джерелаKhubaev, G., K. Shcherbakova, and E. Petrenko. "Iterative Object Ranking Verification Method: Programming Implementation, Fields of Application." Bulletin of Science and Practice 7, no. 5 (May 15, 2021): 344–55. http://dx.doi.org/10.33619/2414-2948/66/34.
Повний текст джерелаGilleland, Eric, Johan Lindström, and Finn Lindgren. "Analyzing the Image Warp Forecast Verification Method on Precipitation Fields from the ICP." Weather and Forecasting 25, no. 4 (August 1, 2010): 1249–62. http://dx.doi.org/10.1175/2010waf2222365.1.
Повний текст джерелаRaden, Martin, Fabio Gutmann, Michael Uhl, and Rolf Backofen. "CopomuS—Ranking Compensatory Mutations to Guide RNA-RNA Interaction Verification Experiments." International Journal of Molecular Sciences 21, no. 11 (May 28, 2020): 3852. http://dx.doi.org/10.3390/ijms21113852.
Повний текст джерелаLai, Songxuan, Lianwen Jin, Luojun Lin, Yecheng Zhu, and Huiyun Mao. "SynSig2Vec: Learning Representations from Synthetic Dynamic Signatures for Real-World Verification." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 01 (April 3, 2020): 735–42. http://dx.doi.org/10.1609/aaai.v34i01.5416.
Повний текст джерелаJi, Yingchun, Yi Zhang, Ivan Korolija, and Julie Futcher. "Design summer year weather – outdoor warmth ranking metrics and their numerical verification." Building Services Engineering Research and Technology 37, no. 6 (July 28, 2016): 639–63. http://dx.doi.org/10.1177/0143624416648179.
Повний текст джерелаTakisaka, Toru, Yuichiro Oyabu, Natsuki Urabe, and Ichiro Hasuo. "Ranking and Repulsing Supermartingales for Reachability in Randomized Programs." ACM Transactions on Programming Languages and Systems 43, no. 2 (July 2021): 1–46. http://dx.doi.org/10.1145/3450967.
Повний текст джерелаДисертації з теми "Ranking verification"
Garritsen, Christy. "The impact of DNA parentage verification on EBV estimation and sire ranking in South African Angora goats." Diss., University of Pretoria, 2013. http://hdl.handle.net/2263/79236.
Повний текст джерелаDissertation (MSc)--University of Pretoria, 2013.
Animal and Wildlife Science
MSc
Unrestricted
Urban, Caterina. "Static analysis by abstract interpretation of functional temporal properties of programs." Thesis, Paris, Ecole normale supérieure, 2015. http://www.theses.fr/2015ENSU0017/document.
Повний текст джерелаThe overall aim of this thesis is the development of mathematically sound and practically efficient methods for automatically proving the correctness of computer software. More specifically, this thesis is grounded in the theory of abstract interpretation, a powerful mathematical framework for approximating the behavior of programs. In particular, this thesis focuses on provingprogram liveness properties, which represent requirements that must be eventually or repeatedly realized during program execution. Program termination is the most prominent liveness property. This thesis designs new program approximations, in order to automatically infer sufficient preconditions for program termination and synthesize so called piecewisedefined ranking functions, which provide upper bounds on the waiting time before termination. The approximations are parametric in the choice between the expressivity and the cost of the underlying approximations, which maintain information about the set of possible values of the program variables along with the possible numerical relationships between them. This thesis also contributes an abstract interpretation framework for proving liveness properties, which comes as a generalization of the framework proposedfor termination. In particular, the framework is dedicated to liveness properties expressed in temporal logic, which are used to ensure that some desirable event happens once or infinitely many times during program execution. As for program termination, piecewise-defined ranking functions are used to infer sufficient preconditions for these properties, and to provide upper boundson the waiting time before a desirable event. The results presented in this thesis have been implemented into a prototype analyzer. Experimental results show that it performs well on a wide variety of benchmarks, it is competitive with the state of the art, and is able to analyze programs that are out of the reach of existing methods
Lin, Connie Amy, and 林景惠. "photoCAPTCHA for Image Label Ranking and Verification." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/15233846403446710065.
Повний текст джерелаLAN, YUN-CHIEH, and 藍允婕. "Preference Ranking of Online Game Characteristic Classification and Recommendation Service Verification." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/74234493248362709657.
Повний текст джерела輔仁大學
國際經營管理碩士學位學程
102
According to the research on Taiwanese Internet users by Market Intelligence & Consulting Institute (MIC) in 2013, the population of smart mobile device, the amount of users playing games on mobile phone is largely increasing and the habits of playing games are also changed. Not only computer online games, but smart phone applications for entertainment are much more diverse. Moreover, it’s kind of decision problem that how to choose a suitable game product for user in so many kinds of production. Therefore, the research is to develop an ideal games’ recommendation system based on users’ preference e ranking technology. The approach uses a partial user ranking algorithm to takes most users’ preferences as features to estimate the possible preference of similar users. The purpose is to explore the players can be recommended based on the other users’ priorities, as well as the combination of game types which can be the potential business trends in the future. We could know potential marketing information and makes users choose the game using a Data Mining analytical methodology and users’ questionnaire. Furthermore, this study is to contribute a research implication for the electronic game industry, and the results could also be reference of game developments of online game type combination.
Chen, Yanzhi. "Efficient and robust image ranking for object retrieval." Thesis, 2013. http://hdl.handle.net/2440/90334.
Повний текст джерелаThesis (Ph.D.) -- University of Adelaide, School of Computer Science, 2013
Книги з теми "Ranking verification"
Office, General Accounting. Welfare eligibility: Deficit Reduction Act income verification issues : fact sheet for the ranking minority member, Subcommittee on Oversight of Government Management, Committee on Governmental Affairs, United States Senate. Washington, D.C: The Office, 1987.
Знайти повний текст джерелаOffice, General Accounting. Welfare eligibility: Deficit Reduction Act income verification issues : fact sheet for the ranking minority member, Subcommittee on Oversight of Government Management, Committee on Governmental Affairs, United States Senate. Washington, D.C: The Office, 1987.
Знайти повний текст джерелаOffice, General Accounting. Welfare eligibility: Deficit Reduction Act income verification issues : fact sheet for the ranking minority member, Subcommittee on Oversight of Government Management, Committee on Governmental Affairs, United States Senate. Washington, D.C: The Office, 1987.
Знайти повний текст джерелаDennis, Faber, Vermunt Niels, Kilborn Jason, Richter Tomáš, and Tirado Ignacio, eds. Ranking and Priority of Creditors. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.001.0001.
Повний текст джерелаIgnacio, Tirado. 17 National Report for Spain. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0017.
Повний текст джерелаTomáš, Richter. 7 National Report for the Czech Republic. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0007.
Повний текст джерелаAlexander, Trukhtanov. 14 National Report for the Russian Federation. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0014.
Повний текст джерелаHamish, Anderson, Cooke Charlotte, and Gullifer Louise. 8 National Report for England. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0008.
Повний текст джерелаAnnina H, Persson, and Karlsson-Tuula Marie. 18 National Report for Sweden. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0018.
Повний текст джерелаDennis, Faber, and Vermunt Niels. 12 National Report for the Netherlands. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0012.
Повний текст джерелаЧастини книг з теми "Ranking verification"
Bradley, Aaron R., Zohar Manna, and Henny B. Sipma. "Linear Ranking with Reachability." In Computer Aided Verification, 491–504. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11513988_48.
Повний текст джерелаBen-Amram, Amir M., and Samir Genaim. "On Multiphase-Linear Ranking Functions." In Computer Aided Verification, 601–20. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63390-9_32.
Повний текст джерелаBen-Amram, Amir M. "Size-Change Termination, Monotonicity Constraints and Ranking Functions." In Computer Aided Verification, 109–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02658-4_12.
Повний текст джерелаBen-Amram, Amir M., and Samir Genaim. "Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions." In Computer Aided Verification, 304–21. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21668-3_18.
Повний текст джерелаKura, Satoshi, Hiroshi Unno, and Ichiro Hasuo. "Decision Tree Learning in CEGIS-Based Termination Analysis." In Computer Aided Verification, 75–98. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_4.
Повний текст джерелаBen-David, Shoham, and Orna Kupferman. "A Framework for Ranking Vacuity Results." In Automated Technology for Verification and Analysis, 148–62. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_12.
Повний текст джерелаHeizmann, Matthias, Jochen Hoenicke, Jan Leike, and Andreas Podelski. "Linear Ranking for Linear Lasso Programs." In Automated Technology for Verification and Analysis, 365–80. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_26.
Повний текст джерелаAbate, Alessandro, Mirco Giacobbe, and Diptarko Roy. "Learning Probabilistic Termination Proofs." In Computer Aided Verification, 3–26. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_1.
Повний текст джерелаPnueli, Amir. "Ranking Abstraction as a Companion to Predicate Abstraction." In Automated Technology for Verification and Analysis, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562948_1.
Повний текст джерелаTakisaka, Toru, Yuichiro Oyabu, Natsuki Urabe, and Ichiro Hasuo. "Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs." In Automated Technology for Verification and Analysis, 476–93. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-01090-4_28.
Повний текст джерелаТези доповідей конференцій з теми "Ranking verification"
Shen, Haihao, Jianhong Fang, and Jianjun Zhao. "EFindBugs: Effective Error Ranking for FindBugs." In 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST 2011). IEEE, 2011. http://dx.doi.org/10.1109/icst.2011.51.
Повний текст джерелаBrighente, A., F. Formaggio, G. Ruvoletto, and S. Tomasin. "Ranking-Based Attacks to In-Region Location Verification Systems." In 2019 IEEE International Workshop on Information Forensics and Security (WIFS). IEEE, 2019. http://dx.doi.org/10.1109/wifs47025.2019.9035088.
Повний текст джерелаTaniguchi, Motoki, Tomoki Taniguchi, Takumi Takahashi, Yasuhide Miura, and Tomoko Ohkuma. "Integrating Entity Linking and Evidence Ranking for Fact Extraction and Verification." In Proceedings of the First Workshop on Fact Extraction and VERification (FEVER). Stroudsburg, PA, USA: Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/w18-5520.
Повний текст джерелаMadrid, Nicolas, and Pavel Rusnok. "Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions." In 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2015. http://dx.doi.org/10.1109/smc.2015.462.
Повний текст джерелаMars, David Ebri, Hanwei Wu, Haopeng Li, and Markus Flierl. "Joint Geometric Verification and Ranking Using Multi-view Vocabulary Trees for Mobile 3D Visual Search." In 2015 Data Compression Conference (DCC). IEEE, 2015. http://dx.doi.org/10.1109/dcc.2015.82.
Повний текст джерелаLevon, Beata, Remigijus Šalna, and Linas Juknevičius. "Analysis of the different techniques for calculation of bearing capacity of flexural reinforced concrete deep beams." In The 13th international scientific conference “Modern Building Materials, Structures and Techniques”. Vilnius Gediminas Technical University, 2019. http://dx.doi.org/10.3846/mbmst.2019.158.
Повний текст джерелаJeong, Yoonjae, and Hoon-Young Cho. "Detecting Mismatch Between Text Script and Voice-Over Using Utterance Verification Based on Phoneme Recognition Ranking." In ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2020. http://dx.doi.org/10.1109/icassp40776.2020.9053190.
Повний текст джерелаZarubin, Ilya, and Aleksandr Filinskikh. "A Mathematical Model for Ranking High-Level User Interface Regression Tests." In 31th International Conference on Computer Graphics and Vision. Keldysh Institute of Applied Mathematics, 2021. http://dx.doi.org/10.20948/graphicon-2021-3027-1131-1138.
Повний текст джерелаKomatani, Kazunori, Satoshi Ikeda, Yuichiro Fukubayashi, Tetsuya Ogata, and Hiroshi G. Okuno. "Ranking help message candidates based on robust grammar verification results and utterance history in spoken dialogue systems." In the SIGDIAL 2009 Conference. Morristown, NJ, USA: Association for Computational Linguistics, 2009. http://dx.doi.org/10.3115/1708376.1708422.
Повний текст джерелаLoganathan, Ganesh Babu, Sundar Singh Sivam Sundarlingam Paramasivam, Durai Kumaran, Krishnaswamy Saravanan, and Raj Rajendran. "Experimental Study on Verification of Alloy ASTM A510 High-Speed Micro Turning by Parameters Validation through Ranking Algorithm." In International Conference on Advances in Design, Materials, Manufacturing and Surface Engineering for Mobility. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2019. http://dx.doi.org/10.4271/2019-28-0071.
Повний текст джерела