1![October 3, 2018 The Honorable Michael S. Lee Chairman U.S. Senate Committee on the Judiciary Subcommittee on Antitrust, Competition Policy and Consumer Rights October 3, 2018 The Honorable Michael S. Lee Chairman U.S. Senate Committee on the Judiciary Subcommittee on Antitrust, Competition Policy and Consumer Rights](https://www.pdfsearch.io/img/fd59b324b461e793a7bd8ec2d16ba6f7.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-10-03 09:41:40
|
---|
2![Address Geocoding using Street Profiles for Local Search Michael Peterman Omar Benomar Address Geocoding using Street Profiles for Local Search Michael Peterman Omar Benomar](https://www.pdfsearch.io/img/c890500de5ecddb74636d99b692d4ba2.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:48:09
|
---|
3![In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective](https://www.pdfsearch.io/img/43098ec9c7f769507755eddf423f381d.jpg) | Add to Reading ListSource URL: idl.cs.washington.eduLanguage: English |
---|
4![Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington](https://www.pdfsearch.io/img/82b4d1aa5075e80f092a8f4db50b2918.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
5![Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W](https://www.pdfsearch.io/img/e94ab3f84280d8f9c721f40624edbf3b.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
6![Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst](https://www.pdfsearch.io/img/da4424d7157ea9f88b184506eba19c1f.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
7![Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France](https://www.pdfsearch.io/img/5d09f6632b02783b8f26f15037fd00e2.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2014-09-02 14:57:05
|
---|
8![September 26, 2018 The Honorable Michael Crapo Chairman U.S. Senate Committee on Banking, Housing, and Urban Affairs 534 Dirksen Senate Office Building September 26, 2018 The Honorable Michael Crapo Chairman U.S. Senate Committee on Banking, Housing, and Urban Affairs 534 Dirksen Senate Office Building](https://www.pdfsearch.io/img/b9b54956f2cc60e53ed040b5c8ae9c51.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-09-26 10:11:20
|
---|
9![Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When](https://www.pdfsearch.io/img/9d90c4070b7dddd402bd2cd176f9d10e.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
10![Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/940e09e7c06076a537f589f83c159514.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-10-17 07:22:55
|
---|