Page 1 from 24,880 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Logic Programming and Machine Ethics

    Dyoub, Abeer / Costantini, Stefania / Lisi, Francesca A. | arXiv | 2020
  2.  

    Property-Directed Verification of Recurrent Neural Networks

    Khmelnitsky, Igor / Neider, Daniel / Roy, Rajarshi et al. | arXiv | 2020
  3.  

    Efficiently Finding a Maximal Clique Summary via Effective Sampling

    Li, Xiaofan / Zhou, Rui / Chen, Lu et al. | arXiv | 2020
  4.  

    Automated Aggregator -- Rewriting with the Counting Aggregate

    Dingess, Michael / Truszczynski, Miroslaw | arXiv | 2020
  5.  

    Splitting a Hybrid ASP Program

    Brik, Alex | arXiv | 2020
  6.  

    TADOC: Text Analytics Directly on Compression

    Zhang, Feng / Zhai, Jidong / Shen, Xipeng et al. | arXiv | 2020
  7.  

    Probabilistically Sampled and Spectrally Clustered Plant Genotypes using Phenotypic Characteristics

    Shastri, Aditya A. / Ahuja, Kapil / Ratnaparkhe, Milind B. et al. | arXiv | 2020
  8.  

    A polynomial size model with implicit SWAP gate counting for exact qubit reordering

    Mulderij, Jesse / Aardal, Karen I. / Chiscop, Irina et al. | arXiv | 2020
  9.  

    A Least-Squares Finite Element Reduced Basis Method

    Chaudhry, Jehanzeb Hameed / Olson, Luke N. / Sentz, Peter | arXiv | 2020
  10.  

    Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study

    Beecham, Sarah / Clear, Tony / Lal, Ramesh et al. | arXiv | 2020

Number of results: 10 | 20 | 50