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

• 2021
• 
  Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer:
  A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP 2021: 250-263
• 
  Seung-Ho Yum, Su-Hong Eom, Eung-Hyuk Lee:
  A Study on the Expansion of the Following Area in Target Following Using Ultrasonic Sensors with Separated Transceivers. ICEIC 2021: 1-5
• 
  Katsushige Matsubara, Hanno Lieske, Motoki Kimura, Atsushi Nakamura, Manabu Koike, Kazuaki Terashima, Shun Morikawa, Yoshihiko Hotta, Takahiro Irita, Seiji Mochizuki, Hiroyuki Hamasaki, Tatsuya Kamei:
  4.2 A 12nm Autonomous-Driving Processor with 60.4TOPS, 13.8TOPS/W CNN Executed by Task-Separated ASIL D Control. ISSCC 2021: 56-58
• 
  JongEun Park, Sungbong Park, Kwansik Cho, Taehun Lee, Changkyu Lee, Donghyun Kim, Beomsuk Lee, SungIn Kim, Ho-Chul Ji, Dongmo Im, Haeyong Park, Jinyoung Kim, Jungho Cha, Tae-Hoon Kim, Insung Joe, Soojin Hong, Chongkwang Chang, Jingyun Kim, WooGwan Shim, Taehee Kim, Jamie Lee, Donghyuk Park, Euiyeol Kim, Howoo Park, Jaekyu Lee, Yitae Kim, JungChak Ahn, YoungKi Hong, ChungSam Jun, Hyunchul Kim, Chang-Rok Moon, Ho-Kyu Kang:
  7.9 1/2.74-inch 32Mpixel-Prototype CMOS Image Sensor with 0.64μ m Unit Pixels Separated by Full-Depth Deep-Trench Isolation. ISSCC 2021: 122-124
• 2020
• 
  Yunfei Liu, Feng Lu:
  Separate in Latent Space: Unsupervised Single Image Layer Separation. AAAI 2020: 11661-11668
• 
  Katherina Meißner, Florian Pal, Julia Rieck:
  Time Series Analysis and Prediction of Geographically Separated Accident Data. ACIIDS (Companion) 2020: 145-157
• 
  Rubing Xi, Lei Jin:
  An Intensity Separated Variational Regularization Model for Multichannel Image Enhancement. CISP-BMEI 2020: 93-97
• 
  Steffen Wolf, Fred A. Hamprecht, Jan Funke:
  Inpainting Networks Learn to Separate Cells in Microscopy Images. BMVC 2020
• 
  Cheng Yao Wang, Mose Sakashita, Upol Ehsan, Jingjin Li, Andrea Stevenson Won:
  Again, Together: Socially Reliving Virtual Reality Experiences When Separated. CHI 2020: 1-12
• 
  Xiaoteng Zhao, Yong Chen, Pui-In Mak, Rui Paulo Martins:
  A 0.0285mm² 0.68pJ/bit Single-Loop Full-Rate Bang-Bang CDR without Reference and Separate Frequency Detector Achieving an 8.2(Gb/s)/µs Acquisition Speed of PAM-4 data in 28nm CMOS. CICC 2020: 1-4
• 
  Jeongyeol Kwon, Constantine Caramanis:
  The EM Algorithm gives Sample-Optimality for Learning Mixtures of Well-Separated Gaussians. COLT 2020: 2425-2487
• 
  Tianxiao Liu, Jasmine Glover, Oliver L. Haimson:
  Reasons for Sharing With Separate Social Media Audiences During Life Transitions. CSCW Companion 2020: 329-334
• 
  Daniel Moritz Marutschke, Victor V. Kryssanov, Patricia Brockmann:
  Teaching Distributed Requirements Engineering: Simulation of an Offshoring Project with Geographically Separated Teams. CSEE&T 2020: 1-5
• 
  Ján Folenta, Jakub Spanhel, Vojtech Bartl, Adam Herout:
  Determining Vehicle Turn Counts at Multiple Intersections by Separated Vehicle Classes Using CNNs. CVPR Workshops 2020: 2544-2549
• 
  Evangelos Sariyanidi, Casey J. Zampella, Robert T. Schultz, Birkan Tunç:
  Can Facial Pose and Expression Be Separated With Weak Perspective Camera? CVPR 2020: 7171-7180
• 
  Chenhongyi Yang, Vitaly Ablavsky, Kaihong Wang, Qi Feng, Margrit Betke:
  Learning to Separate: Detecting Heavily-Occluded Objects in Urban Scenes. ECCV (18) 2020: 530-546
• 
  Wenxiao Zhang, Qingan Yan, Chunxia Xiao:
  Detail Preserved Point Cloud Completion via Separated Feature Aggregation. ECCV (25) 2020: 512-528
• 
  James Robb, Björn B. Brandenburg:
  Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. ECRTS 2020: 6:1-6:23
• 
  Yuki Kitagishi, Yuki Tanaka, Tomoko Yonezawa:
  AR Avatar Separated from Lecturer for Individual Communication in One-to-many Communication. ICAT-EGVE (Posters and Demos) 2020: 15-16
• 
  Sashank Santhanam, Zhuo Cheng, Brodie Mather, Bonnie J. Dorr, Archna Bhatia, Bryanna Hebenstreit, Alan Zemel, Adam Dalton, Tomek Strzalkowski, Samira Shaikh:
  Learning to Plan and Realize Separately for Open-Ended Dialogue Systems. EMNLP (Findings) 2020: 2736-2750
• 
  Mihir Bellare, Hannah Davis, Felix Günther:
  Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. EUROCRYPT (2) 2020: 3-32
• 
  Dhanunjaya Varma Devalraju, Padmanabhan Rajan, Aroor Dinesh Dileep:
  Learning to Separate: Soundscape Classification using Foreground and Background. EUSIPCO 2020: 21-25
• 
  Negar Khojasteh:
  Designing CMC Tools for Separated Families. GROUP (Companion) 2020: 49-52
• 
  Casimir Smith, Evan Pezent, Marcia K. O'Malley:
  Spatially Separated Cutaneous Haptic Guidance for Training of a Virtual Sensorimotor Task. HAPTICS 2020: 974-979
• 
  Patrick Baber, Marcel Saager, Bertram Wortelen:
  Improving Cooperation Between Spatially Separated Operators Using Augmented Reality. HCI (39) 2020: 3-8
• 
  Jayadev Madyal, Laura Platte, Julia Arndt, Marlon Spangenberg, Konstantin Zähl:
  MoBi - An Interactive Classroom Robot Helping Children to Separate Waste. HRI (Companion) 2020: 629-630
• 
  Hiroshi Hirai, Motoki Ikeda:
  Node-Connectivity Terminal Backup, Separately-Capacitated Multiflow, and Discrete Convexity. ICALP 2020: 65:1-65:19
• 
  Mark D. McDonnell, Wei Gao:
  Acoustic Scene Classification Using Deep Residual Networks with Late Fusion of Separated High and Low Frequency Paths. ICASSP 2020: 141-145
• 
  Fatemeh Pishdadian, Gordon Wichern, Jonathan Le Roux:
  Learning to Separate Sounds from Weakly Labeled Scenes. ICASSP 2020: 91-95
• 
  Ziyi Xu, Samy Elshamy, Tim Fingscheidt:
  Using Separate Losses for Speech and Noise in Mask-Based Speech Enhancement. ICASSP 2020: 7519-7523

skipping 646 more matches