• 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 25 matches

• 2022
• 
  Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya:
  Neural Networks in Imandra: Matrix Representation as a Verification Choice. NSV/FoMLAS@CAV 2022: 78-95
• 
  Katherine Atwell, Remi Choi, Junyi Jessy Li, Malihe Alikhani:
  The Role of Context and Uncertainty in Shallow Discourse Parsing. COLING 2022: 797-811
• 
  Seungyeop Baik, Sunyoung Choi, Suho Ahn, Hangjung Zo:
  The role of remixing for innovation in online innovation communities. ICEB 2022: 50
• 
  Yujia Li, David H. Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, Thomas Hubert, Peter Choy, Cyprien de Masson d'Autume, Igor Babuschkin, Xinyun Chen, Po-Sen Huang, Johannes Welbl, Sven Gowal, Alexey Cherepanov, James Molloy, Daniel J. Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, Oriol Vinyals:
  Competition-Level Code Generation with AlphaCode. CoRR abs/2203.07814 (2022)
• 
  Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya:
  Neural Networks in Imandra: Matrix Representation as a Verification Choice. CoRR abs/2205.09556 (2022)
• 2021
• 
  Encarnación Algaba, Stefano Moretti, Eric Rémila, Philippe Solal:
  Lexicographic solutions for coalitional rankings. Soc. Choice Welf. 57(4): 817-849 (2021)
• 2019
• 
  Yongxing Li, David Z. W. Wang, Meng Meng, Yanyan Chen, Zhijian Fu:
  Modeling Pedestrian Choice Behavior of Vertical Walking Facilities in Rail Transit Station Considering Reminder Sign. IEEE Access 7: 122006-122018 (2019)
• 
  Oriol Vinyals, Igor Babuschkin, Wojciech M. Czarnecki, Michaël Mathieu, Andrew Dudzik, Junyoung Chung, David H. Choi, Richard Powell, Timo Ewalds, Petko Georgiev, Junhyuk Oh, Dan Horgan, Manuel Kroiss, Ivo Danihelka, Aja Huang, Laurent Sifre, Trevor Cai, John P. Agapiou, Max Jaderberg, Alexander Sasha Vezhnevets, Rémi Leblond, Tobias Pohlen, Valentin Dalibard, David Budden, Yury Sulsky, James Molloy, Tom Le Paine, Çaglar Gülçehre, Ziyu Wang, Tobias Pfaff, Yuhuai Wu, Roman Ring, Dani Yogatama, Dario Wünsch, Katrina McKinney, Oliver Smith, Tom Schaul, Timothy P. Lillicrap, Koray Kavukcuoglu, Demis Hassabis, Chris Apps, David Silver:
  Grandmaster level in StarCraft II using multi-agent reinforcement learning. Nat. 575(7782): 350-354 (2019)
• 
  Yunlong Wang, Harald Reiterer:
  The Point-of-Choice Prompt or the Always-On Progress Bar?: A Pilot Study of Reminders for Prolonged Sedentary Behavior Change. CHI Extended Abstracts 2019
• 2018
• 
  Kyung Yun Choi, Darle Shinsato, Shane Zhang, Ken Nakagaki, Hiroshi Ishii:
  reMi: Translating Ambient Sounds of Moment into Tangible and Shareable Memories through Animated Paper. UIST (Adjunct Volume) 2018: 84-86
• 2017
• 
  Filip De Turck, Joon-Myung Kang, Hyunseung Choo, Myung-Sup Kim, Baek-Young Choi, Remi Badonnel, James Won-Ki Hong:
  Softwarization of networks, clouds, and internet of things. Int. J. Netw. Manag. 27(2) (2017)
• 
  Judit Chamorro-Servent, Rémi Dubois, Yves Coudière:
  Exploring Possible Choices of the Tikhonov Regularization Parameter for the Method of Fundamental Solution in Electrocardiography. CinC 2017
• 
  Judit Chamorro-Servent, Rémi Dubois, Mark Potse, Yves Coudière:
  Improving the Spatial Solution of Electrocardiographic Imaging: A New Regularization Parameter Choice Technique for the Tikhonov Method. FIMH 2017: 289-300
• 2016
• 
  Geoffrey Poon, Kin Chung Kwan, Wai-Man Pang, Kup-Sze Choi:
  Towards Using Tiny Sensors with Heat Balancing Criteria for Child Care Reminders. Int. J. Semantic Comput. 10(3): 365-378 (2016)
• 
  Geoffrey Poon, Kin Chung Kwan, Wai-Man Pang, Kup-Sze Choi:
  Towards Using Tiny Multi-sensors Unit for Child Care Reminders. BigMM 2016: 372-376
• 2015
• 
  Richard Baron, Mostapha Diss, Eric Rémila, Philippe Solal:
  A geometric examination of majorities based on difference in support. Soc. Choice Welf. 45(1): 123-153 (2015)
• 
  Mijung Kim, Jaechang Nam, Jaehyuk Yeon, Soonhwang Choi, Sunghun Kim:
  REMI: defect prediction for efficient API testing. ESEC/SIGSOFT FSE 2015: 990-993
• 2012
• 
  Sylvain Béal, Aymeric Lardon, Eric Rémila, Philippe Solal:
  The average tree solution for multi-choice forest games. Ann. Oper. Res. 196(1): 27-51 (2012)
• 2011
• 
  Jun Wei, Xuan Wang, Remi Tache, Roshan Lalintha Peiris, Yongsoon Choi, Veronica Halupka, Jeffrey Tzu Kwan Valino Koh, Xavier Roman Martinez, Adrian David Cheok:
  Food Media: exploring interactive entertainment over telepresent dinner. Advances in Computer Entertainment Technology 2011: 26
• 
  Jun Wei, Xuan Wang, Roshan Lalintha Peiris, Yongsoon Choi, Xavier Roman Martinez, Remi Tache, Jeffrey Tzu Kwan Valino Koh, Veronica Halupka, Adrian David Cheok:
  CoDine: an interactive multi-sensory system for remote dining. UbiComp 2011: 21-30
• 
  Jun Wei, Adrian David Cheok, Xavier Roman Martinez, Remi Tache, Yongsoon Choi, Jeffrey Tzu Kwan Valino Koh, Roshan Lalintha Peiris, Xuan Wang, Qing Zhu:
  FoodGenie: play with your food edible interface for communication and entertainment. SIGGRAPH Asia Emerging Technologies 2011: 23:1
• 2009
• 
  Rex V. Brown:
  Working with Policy Makers on Their Choices: A Decision Analyst Reminisces. Decis. Anal. 6(1): 14-24 (2009)
• 2008
• 
  Ohbyung Kwon, Sungchul Choi:
  Applying associative theory to need awareness for personalized reminder system. Expert Syst. Appl. 34(3): 1642-1650 (2008)
• 2005
• 
  Ohbyung Kwon, Sungchul Choi, Gyuro Park:
  NAMA: a context-aware multi-agent based web service approach to proactive need identification for personalized reminder systems. Expert Syst. Appl. 29(1): 17-32 (2005)
• 2004
• 
  Sung Woo Kim, Min Chul Kim, Sang Hyun Park, Young Kyu Jin, Woo Sik Choi:
  Gate reminder: a design case of a smart reminder. Conference on Designing Interactive Systems 2004: 81-90