Illinois

Results: 88180



#Item
31Verification of Annotated Models from Executions  ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Add to Reading List

Source URL: publish.illinois.edu

Language: English - Date: 2014-10-08 18:37:53
    32Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

    Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

    Add to Reading List

    Source URL: cims.nyu.edu

    Language: English - Date: 2015-11-01 13:02:43
    33NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

    NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

    Add to Reading List

    Source URL: negative.vision

    Language: English - Date: 2017-10-09 09:03:00
    34Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

    Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

    Add to Reading List

    Source URL: taktoa.me

    Language: English - Date: 2018-03-28 11:19:15
    35Slick Packets Giang T. K. Nguyen Rachit Agarwal  Junda Liu

    Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu

    Add to Reading List

    Source URL: pbg.cs.illinois.edu

    Language: English - Date: 2011-04-11 05:41:03
    36TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

    TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

    Add to Reading List

    Source URL: mitras.ece.illinois.edu

    Language: English - Date: 2018-09-20 18:40:08
      37

      PDF Document

      Add to Reading List

      Source URL: www.cmap.illinois.gov

      - Date: 2018-02-08 12:06:50
        38

        PDF Document

        Add to Reading List

        Source URL: www.uni.illinois.edu

        - Date: 2016-11-14 11:15:33
          39

          PDF Document

          Add to Reading List

          Source URL: ctrlshift.mste.illinois.edu

          - Date: 2015-06-30 09:13:55
            40

            PDF Document

            Add to Reading List

            Source URL: maxim.ece.illinois.edu

            - Date: 2017-10-26 12:44:11