• code_uniqueness

  • Referenced in 1 article [sw34718]
  • maximum size of a binary code of word length (n), minimum distance (d) and constant ... maximum size of a binary code of word length (n) and minimum distance (d). Gijswijt...
  • IMDB

  • Referenced in 16 articles [sw36449]
  • Review Dataset. This is a dataset for binary sentiment classification containing substantially more data than ... text and already processed bag of words formats are provided. See the README file contained...
  • CEDAR

  • Referenced in 6 articles [sw12860]
  • CEDAR’s CDROM-1 database contains handwritten words and ZIP Codes in high resolution grayscale ... well as binary handwritten digits and alphanumeric characters (300 ppi 1-bit). This database...
  • LOU

  • Referenced in 3 articles [sw11650]
  • binary trees with the same number of leaves parses a common word under a certain...
  • PoisBinNonNor

  • Referenced in 1 article [sw41342]
  • Continuous Components. Generation of multiple count, binary and continuous variables simultaneously given the marginal characteristics ... association structure. Throughout the package, the word ’Poisson’ is used to imply count data under...
  • DTA++

  • Referenced in 2 articles [sw33315]
  • implement DTA++ using the BitBlaze platform for binary analysis, and apply ... study of 8 applications such as Microsoft Word, DTA++ efficiently locates just a few implicit...
  • COMBAT

  • Referenced in 1 article [sw19583]
  • proposed. In this paper, we present COMbining Binary And Ternary encoding (COMBAT), a new bitmap ... index coding algorithm. Typical algorithms derived from Word Aligned Hybrid (WAH) are COMPressed Adaptive indeX...
  • CRYPTALL

  • Referenced in 6 articles [sw06981]
  • types of data such as text files; word documents; PostScript and PDF documents; web pages ... html” files. CRYPTALL uses the binary code alphabet -- thus it is universal: encrypting all types...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • termination. We present three techniques, designed for word-based SMT string solvers, to mitigate these ... cross-domain heuristics; and (3) a binary search based heuristic, allowing the procedure to skip ... strategy and/or string representation (based e.g. on words, bit vectors or automata). The results point...
  • BSIFT

  • Referenced in 1 article [sw28343]
  • role in BoW model, which generates visual words from the high- dimensional SIFT features ... discriminative bit-vector, which is called binary SIFT (BSIFT). Our quantizer is independent of image ... bits out from BSIFT as code word, the generated BSIFT naturally lends itself to adapt...
  • littler

  • Referenced in 1 article [sw16287]
  • used in batch mode, the r binary adds full support for both ’shebang’-style scripting ... standard Unix pipelines. In other words, r provides the R language without the environment...
  • OpenMeta-Analyst

  • Referenced in 1 article [sw24641]
  • meta-analysis and meta-regression models for binary and continuous outcomes, as well as analyses ... many formats (images, Adobe PDF, Microsoft Word-ready RTF). The software architecture employed allows ... database of 11,803 meta-analyses of binary outcome data, and 6,881 meta-analyses...
  • Galois Field Arithmetic Library

  • Referenced in 1 article [sw05610]
  • with the analysis and formal description of binary and unary operations upon polynomials comprised ... known as extension fields or in other words fields of the form ... shifting can occur for field polynomials. The binary extensions of Galois fields...
  • PASS

  • Referenced in 3 articles [sw35276]
  • three steps: (1) it finds matching seed words in the genome; (2) for every match ... programs. Availability and implementation: Source code and binaries are freely available for download...
  • DeepSentiPers

  • Referenced in 1 article [sw32537]
  • opinions in terms of both multiple and binary classification. So in this work, first ... three baselines and two different neural word embedding methods show that our data augmentation methods...
  • libVATA

  • Referenced in 1 article [sw33005]
  • semi-symbolic encoding uses multi-terminal binary decision diagrams (MTBDDs) for storing the transition table ... library can also be used for finite word automata (which are, basically, unary trees...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...