• 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 1,817 matches

• 2016
• 
  Laura Giordano, Daniele Theseider Dupré:
  ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR abs/1608.02450 (2016)
• 
  Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
  Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. CoRR abs/1608.01835 (2016)
• 
  Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
  A General Framework for Static Profiling of Parametric Resource Usage. CoRR abs/1608.02780 (2016)
• 
  Michael Backes, Robert Künnemann, Esfandiar Mohammadi:
  Computational Soundness for Dalvik Bytecode. CoRR abs/1608.04362 (2016)
• 
  Paolo Federico, Silvia Miksch:
  Evaluation of two interaction techniques for visualization of dynamic graphs. CoRR abs/1608.08936 (2016)
• 
  Hadi Zare, Mojtaba Niazi:
  Relevant based structure learning for feature selection. CoRR abs/1608.07934 (2016)
• 
  Naoki Nishida, Adrián Palacios, Germán Vidal:
  Towards Reversible Computation in Erlang. CoRR abs/1608.05521 (2016)
• 
  Xueliang Li, John P. Gallagher:
  A Source-level Energy Optimization Framework for Mobile Applications. CoRR abs/1608.05248 (2016)
• 
  David M. Howard, Noah Streib, William T. Trotter, Bartosz Walczak, Ruidong Wang:
  The dimension of posets with planar cover graphs excluding two long incomparable chains. CoRR abs/1608.08843 (2016)
• 
  João Santos, Ricardo Rocha:
  On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. CoRR abs/1608.01499 (2016)
• 
  Han Xiao, Minlie Huang, Xiaoyan Zhu:
  Knowledge Semantic Representation: A Generative Model for Interpretable Knowledge Graph Embedding. CoRR abs/1608.07685 (2016)
• 
  Lijun Zhang, Tianbao Yang, Jinfeng Yi, Rong Jin, Zhi-Hua Zhou:
  Improved dynamic regret for non-degeneracy functions. CoRR abs/1608.03933 (2016)
• 
  Hao Chen, Qi Dou, Lequan Yu, Pheng-Ann Heng:
  VoxResNet: Deep Voxelwise Residual Networks for Volumetric Brain Segmentation. CoRR abs/1608.05895 (2016)
• 
  Hao Wang, Dit-Yan Yeung:
  Towards Bayesian Deep Learning: A Framework and Some Existing Methods. CoRR abs/1608.06884 (2016)
• 
  Sofiane Abbar, Tahar Zanouda, Javier Borge-Holthoefer:
  Robustness and Resilience of cities around the world. CoRR abs/1608.01709 (2016)
• 
  Waseem Abbas, Aron Laszka, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos:
  Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks. CoRR abs/1608.07329 (2016)
• 
  Samaneh Abbasi-Sureshjani, Marta Favali, Giovanna Citti, Alessandro Sarti, Bart M. ter Haar Romeny:
  Cortically-Inspired Spectral Clustering for Connectivity Analysis in Retinal Images: Curvature Integration. CoRR abs/1608.08049 (2016)
• 
  Bilal Abbasi, Jeff Calder, Adam M. Oberman:
  Anomaly detection and classification for streaming data using partial differential equations. CoRR abs/1608.04348 (2016)
• 
  Hosam Abdo, Darko Dimitrov, Wei Gao:
  On the Irregularity of Some Molecular Structures. CoRR abs/1608.05235 (2016)
• 
  AbdelRahman Abdou, Paul C. van Oorschot:
  Server Location Verification and Server Location Pinning: Augmenting TLS Authentication. CoRR abs/1608.03939 (2016)
• 
  Salisu Mamman Abdulrahman, Pavel Brazdil:
  Effect of Incomplete Meta-dataset on Average Ranking Method. CoRR abs/1608.06845 (2016)
• 
  Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
  Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR abs/1608.05893 (2016)
• 
  Kfir Aberman, Yonina C. Eldar:
  Sub-Nyquist SAR via Fourier Domain Range Doppler Processing. CoRR abs/1608.04138 (2016)
• 
  Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux:
  Proving chaotic behaviour of CBC mode of operation. CoRR abs/1608.05838 (2016)
• 
  Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, Carsten Schneider:
  Algorithms to solve coupled systems of differential equations in terms of power series. CoRR abs/1608.05376 (2016)
• 
  Mohammad Abu-Lebdeh, Sami Yangui, Diala Naboulsi, Roch H. Glitho, Constant Wette Tchouati:
  A Virtual Network PaaS for 3GPP 4G and Beyond Core Network Services. CoRR abs/1608.05869 (2016)
• 
  Radoslaw Adamczak:
  Metric and classical fidelity uncertainty relations for random unitary matrices. CoRR abs/1608.06658 (2016)
• 
  Ivo J. B. F. Adan, Vidyadhar G. Kulkarni, Namyoon Lee, A. A. J. Lefeber:
  Optimal routing in two-queue polling systems. CoRR abs/1608.03070 (2016)
• 
  Tameem Adel, Cassio P. de Campos:
  Learning Bayesian Networks without Assuming Missing at Random. CoRR abs/1608.07734 (2016)
• 
  Yossi Adi, Einat Kermany, Yonatan Belinkov, Ofer Lavi, Yoav Goldberg:
  Fine-grained Analysis of Sentence Embeddings Using Auxiliary Prediction Tasks. CoRR abs/1608.04207 (2016)

skipping 1,787 more matches