Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's machine_learning [4 articles]

Recent papers added to srccheck's library classified by the tag machine_learning. You can also see everyone's machine_learning.
  • From Uncertainty to Belief: Inferring the Specification Within
    (2006), pp. 161-176.
    by Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y Ng, Dawson R Engler
    posted to machine_learning mc source_sink by srccheck on 2008-02-28 15:37:04 as **
  • Program verification as probabilistic inference
    (2007), pp. 277-289.
    by Sumit Gulwani, Nebojsa Jojic
    posted to machine_learning popl07 verification by srccheck on 2008-02-20 13:25:50 as **
  • Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
    Static Analysis (2003), pp. 1075-1075.
    by Ted Kremenek, Dawson Engler
    posted to machine_learning sas03 warning_ranking by srccheck on 2008-02-08 13:42:05 as ***
  • Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
    Static Analysis (2005), pp. 203-217.
    by Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
    posted to airac machine_learning sas05 static_analysis tools warning_ranking by srccheck on 2008-02-08 10:33:57 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/machine_learning

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.