Academic literature on the topic 'Ranking verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Ranking verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "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.
Full textStepanyuk, 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.
Full textZmyś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.
Full textBALABAN, 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.
Full textKhubaev, 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.
Full textGilleland, 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.
Full textRaden, 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.
Full textLai, 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.
Full textJi, 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.
Full textTakisaka, 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.
Full textDissertations / Theses on the topic "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.
Full textDissertation (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.
Full textThe 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.
Full textLAN, YUN-CHIEH, and 藍允婕. "Preference Ranking of Online Game Characteristic Classification and Recommendation Service Verification." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/74234493248362709657.
Full text輔仁大學
國際經營管理碩士學位學程
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.
Full textThesis (Ph.D.) -- University of Adelaide, School of Computer Science, 2013
Books on the topic "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.
Find full textOffice, 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.
Find full textOffice, 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.
Find full textDennis, 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.
Full textIgnacio, Tirado. 17 National Report for Spain. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0017.
Full textTomáš, Richter. 7 National Report for the Czech Republic. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0007.
Full textAlexander, Trukhtanov. 14 National Report for the Russian Federation. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0014.
Full textHamish, 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.
Full textAnnina 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.
Full textDennis, Faber, and Vermunt Niels. 12 National Report for the Netherlands. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198727293.003.0012.
Full textBook chapters on the topic "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.
Full textBen-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.
Full textBen-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.
Full textBen-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.
Full textKura, 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.
Full textBen-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.
Full textHeizmann, 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.
Full textAbate, 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.
Full textPnueli, 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.
Full textTakisaka, 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.
Full textConference papers on the topic "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.
Full textBrighente, 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.
Full textTaniguchi, 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.
Full textMadrid, 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.
Full textMars, 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.
Full textLevon, 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.
Full textJeong, 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.
Full textZarubin, 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.
Full textKomatani, 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.
Full textLoganathan, 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.
Full text