11 papers:
LCT-2015-BajajHKPSDY #question #word- Audio Cues: Can Sound Be Worth a Hundred Words? (JB, AH, AK, RMP, KS, OD, KY), pp. 14–23.
ICML-c1-2013-BergstraYC #architecture #optimisation- Making a Science of Model Search: Hyperparameter Optimization in Hundreds of Dimensions for Vision Architectures (JB, DY, DDC), pp. 115–123.
HPDC-2013-Shaw #named #simulation- Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.
CIKM-2012-NguyenDTH #power of- Federated search in the wild: the combined power of over a hundred search engines (DN, TD, DT, DH), pp. 1874–1878.
CHI-2011-EricksonSKL #evaluation #interactive- Synchronous interaction among hundreds: an evaluation of a conference in an avatar-based virtual environment (TE, NSS, WAK, DWL), pp. 503–512.
KR-2010-DitmarschEW #logic- One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).
CSEET-2009-ThompsonE #approach #industrial #scalability #student- A Scalable Approach to Graduate Student Projects: Hundreds with Industry Every Year (JBT, HME), pp. 158–161.
ISSTA-2008-Liblit #debugging #testing- Cooperative debugging with five hundred million test cases (BL), pp. 119–120.
- CHI-2004-MullerGBWM #collaboration
- One-hundred days in an activity-centric collaboration environment based on shared objects (MJM, WG, BB, EW, DRM), pp. 375–382.
ICSE-2002-BratthallGHJKMOZA #architecture #industrial- Integrating hundred’s of product through one architecture: the industrial IT architecture (LB, RvdG, HH, EJ, ZK, RM, MO, CZ, JSA), pp. 604–614.
CADE-1988-Paulson #named #proving #theorem proving- Isabelle: The Next Seven Hundred Theorem Provers (LCP), pp. 772–773.
