• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2023
• 
  Shiva Darian, Aarjav Chauhan, Ricky Marton, Janet Ruppert, Kathleen Anderson, Ryan Clune, Madeline Cupchak, Max Gannett, Joel Holton, Elizabeth Kamas, Jason Kibozi-Yocka, Devin Mauro-Gallegos, Simon Naylor, Meghan O'Malley, Mehul Patel, Jack Sandberg, Troy Siegler, Ryan Tate, Abigil Temtim, Samantha Whaley, Amy Voida:
  Enacting Data Feminism in Advocacy Data Work. Proc. ACM Hum. Comput. Interact. 7(CSCW1): 1-28 (2023)
• 
  Xiang Lisa Li, Ari Holtzman, Daniel Fried, Percy Liang, Jason Eisner, Tatsunori Hashimoto, Luke Zettlemoyer, Mike Lewis:
  Contrastive Decoding: Open-ended Text Generation as Optimization. ACL (1) 2023: 12286-12312
• 2022
• 
  Xiang Lisa Li, Ari Holtzman, Daniel Fried, Percy Liang, Jason Eisner, Tatsunori Hashimoto, Luke Zettlemoyer, Mike Lewis:
  Contrastive Decoding: Open-ended Text Generation as Optimization. CoRR abs/2210.15097 (2022)
• 2021
• 
  Robert X. Smith, Jeremy F. Strain, Aaron Tanenbaum, Anne M. Fagan, Jason Hassenstab, Eric McDade, Suzanne E. Schindler, Brian A. Gordon, Chengjie Xiong, Jasmeer P. Chhatwal, Clifford R. Jack, Celeste Karch, Sarah Berman, Jared R. Brosch, James J. Lah, Adam M. Brickman, David M. Cash, Nick C. Fox, Neill R. Graff-Radford, Johannes Levin, James Noble, David M. Holtzman, Colin L. Masters, Martin R. Farlow, Christoph Laske, Peter R. Schofield, Daniel S. Marcus, John C. Morris, Tammie L. S. Benzinger, Randall J. Bateman, Beau M. Ances:
  Resting-State Functional Connectivity Disruption as a Pathological Biomarker in Autosomal Dominant Alzheimer Disease. Brain Connect. 11(3): 239-249 (2021)
• 2018
• 
  Lok K. Yan, Benjamin Price, Michael Zhivich, Brian Caswell, Christopher Eagle, Michael Frantzen, Holt Sorenson, Michael Thompson, Timothy Vidas, Jason Wright, Vernon Rivet, Samuel Colt VanWinkle, Clark Wood:
  BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. SecDev 2018: 11-20
• 2012
• 
  Henry Hoffmann, Jim Holt, George Kurian, Eric Lau, Martina Maggio, Jason E. Miller, Sabrina M. Neuman, Mahmut E. Sinangil, Yildiz Sinangil, Anant Agarwal, Anantha P. Chandrakasan, Srinivas Devadas:
  Self-aware computing in the Angstrom processor. DAC 2012: 259-264
• 2006
• 
  Wolfgang Achtner, Esma Aïmeur, Sarabjot Singh Anand, Douglas E. Appelt, Naveen Ashish, Tiffany Barnes, Joseph E. Beck, M. Bernardine Dias, Prashant Doshi, Chris Drummond, William Elazmeh, Ariel Felner, Dayne Freitag, Hector Geffner, Christopher W. Geib, Richard Goodwin, Robert C. Holte, Frank Hutter, Fair Isaac, Nathalie Japkowicz, Gal A. Kaminka, Sven Koenig, Michail G. Lagoudakis, David B. Leake, Lundy Lewis, Hugo Liu, Ted Metzler, Rada Mihalcea, Bamshad Mobasher, Pascal Poupart, David V. Pynadath, Thomas Roth-Berghofer, Wheeler Ruml, Stefan Schulz, Sven Schwarz, Stephanie Seneff, Amit P. Sheth, Ron Sun, Michael Thielscher, Afzal Upal, Jason D. Williams, Steve J. Young, Dmitry Zelenko:
  Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. AI Mag. 27(4): 92-102 (2006)
• 
  Jason E. Holt:
  Logcrypt: forward security and public verification for secure audit logs. ACSW 2006: 203-211
• 
  Jason E. Holt:
  Key Privacy for Identity Based Encryption. IACR Cryptol. ePrint Arch. 2006: 120 (2006)
• 2005
• 
  Jason E. Holt:
  The One Page Model Checker. CoRR abs/cs/0506084 (2005)
• 
  Jason E. Holt:
  On the Job Training. CoRR abs/cs/0506085 (2005)
• 
  Jason E. Holt:
  Reconciling CA-Oblivious Encryption, Hidden Credentials, OSBE and Secret Handshakes. IACR Cryptol. ePrint Arch. 2005: 215 (2005)
• 
  Jason E. Holt, Kent E. Seamons:
  Logcrypt: Forward Security and Public Verification for Secure Audit Logs. IACR Cryptol. ePrint Arch. 2005: 2 (2005)
• 2004
• 
  Adam Hess, Jason E. Holt, Jared Jacobson, Kent E. Seamons:
  Content-triggered trust negotiation. ACM Trans. Inf. Syst. Secur. 7(3): 428-456 (2004)
• 
  Robert W. Bradshaw, Jason E. Holt, Kent E. Seamons:
  Concealing complex policies with hidden credentials. CCS 2004: 146-157
• 
  Robert W. Bradshaw, Jason E. Holt, Kent E. Seamons:
  Concealing Complex Policies with Hidden Credentials. IACR Cryptol. ePrint Arch. 2004: 109 (2004)
• 2003
• 
  Ting Yu, Marianne Winslett, Jason E. Holt:
  Two Security Symposia. IEEE Secur. Priv. 1(4): 50-52 (2003)
• 
  Kent E. Seamons, Thomas Chan, Evan Child, Michael Halcrow, Adam Hess, Jason E. Holt, Jared Jacobson, Ryan Jarvis, Aaron Patty, Bryan Smith, Tore Sundelin, Lina Yu:
  TrustBuilder: Negotiating Trust in Dynamic Coalitions. DISCEX (2) 2003: 49-51
• 
  Kent E. Seamons, Marianne Winslett, Ting Yu, Thomas Chan, Evan Child, Michael Halcrow, Adam Hess, Jason E. Holt, Jared Jacobson, Ryan Jarvis, Bryan Smith, Tore Sundelin, Lina Yu:
  Trust Negotiation in Dynamic Coalitions. DISCEX (2) 2003: 240-245
• 
  Jason E. Holt, Robert W. Bradshaw, Kent E. Seamons, Hilarie K. Orman:
  Hidden Credentials. WPES 2003: 1-8
• 2002
• 
  Jason E. Holt, Kent E. Seamons:
  Selective disclosure credential sets. IACR Cryptol. ePrint Arch. 2002: 151 (2002)
• 1996
• 
  Alan C. F. Colchester, Jason Zhao, Kerrie S. Holton-Tainter, Christopher J. Henri, Neil Maitland, Patricia T. E. Roberts, Christopher G. Harris, Richard J. Evans:
  Development and preliminary evaluation of VISLAN, a surgical planning and guidance system using intra-operative video imaging. Medical Image Anal. 1(1): 73-90 (1996)
• 
  Jason Zhao, Patricia T. E. Roberts, Alan C. F. Colchester, Kerrie S. Holton-Tainter:
  Registration Updating Using Marker Pins in a Video Based Neurosurgical Guidance System (VISLAN). VBC 1996: 287-296