• Houghtool

  • Referenced in 4 articles [sw08121]
  • Transform (HT) is a popular method for detecting curve segments in an image. A software ... calculate the HT. Several methods for line detection are implemented in the package. These include...
  • PennCNV

  • Referenced in 16 articles [sw19390]
  • HapMap individuals; on average, we detected ∼27 CNVs for each individual with a median size ... lymphoblastoid cell lines, the fraction of CNVs in offspring not detected in parents (CNV-NDPs...
  • ALCON

  • Referenced in 37 articles [sw05315]
  • predicted step along the tangent line is theoretically analyzed in terms of the convergence properties ... corrector. Then the detection and determination of critical points is discussed including, in particular...
  • LSDCat

  • Referenced in 1 article [sw28163]
  • user-friendly algorithm for detecting faint emission-line sources in large integral-field spectroscopic datacubes ... release of the software package LSDCat (Line Source Detection and Cataloguing). LSDCat uses ... build a catalogue of individual line detections. In a second pass, the detected lines ... spatial extents, and fluxes of the detected lines are determined. LSDCat requires only a small...
  • RELAY

  • Referenced in 5 articles [sw20225]
  • RELAY: static race detection on millions of lines of code. Data races occur when multiple ... present RELAY, a static and scalable race detection analysis in which unsoundness is modularized ... Linux kernel, which includes about 4.5 million lines of code...
  • MUSELET

  • Referenced in 1 article [sw28162]
  • simple SExtractor-based python tool to detect emission lines in a datacube. It has been ... Arnouts 1996, http://www.astromatic.net/software/sextractor) to detect line emission in narrow-band images created from ... catalog, separating the emission lines linked with continuum sources detected in the white light images...
  • Gplag

  • Referenced in 7 articles [sw08961]
  • GPLAG is both effective and efficient: It detects plagiarism that easily slips over existing tools ... simulated) plagiarism in programs having thousands of lines of code...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • framework, that can symbolically execute multithreaded programs, detect safety violations searching through an unbounded state ... implementation consists of only 3,000 lines of Maude code, specifying formally the semantics...
  • CrackDect

  • Referenced in 1 article [sw40338]
  • series of images. It is specialized to detect multiple matrix cracks in composite laminates ... also be used as a general line detection. The package is written in Python...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • implemented in about 1,300 lines of Prolog. All these changes have made MPTP more ... nonarithmetical problems, countersatisfiability (completions) is no longer detected by the ATP systems, suggesting that...
  • Loda

  • Referenced in 1 article [sw15626]
  • Loda: lightweight on-line detector of anomalies. In supervised learning it has been shown that ... methods. In unsupervised learning, namely in anomaly detection such a paradigm has not yet been ... detector needs to be updated on-line. Besides being fast and accurate, Loda is also ... general questions regarding batch-vs-on-line anomaly detection...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • race-detection of multithreaded programs up to about 25 thousand lines of code. It uses...
  • Auto2_Imperative_HOL

  • Referenced in 2 articles [sw32246]
  • algorithm, and a sweep-line algorithm for detecting rectangle intersection. The imperative verification is based...
  • MPDAF

  • Referenced in 1 article [sw28165]
  • MUSELET, a SExtractor-based tool to detect emission lines in a data cube...
  • TopHat-Fusion

  • Referenced in 1 article [sw27472]
  • from breast and prostate cancer cell lines, we detected both previously reported and novel fusions...
  • SybilRadar

  • Referenced in 2 articles [sw40509]
  • Structure Based Framework for Sybil Detection in On-line Social Networks. Online Social Networks ... privacy violations. Existing mechanisms to detect Sybils are based either on analyzing user attributes...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks ... minutes to analyze a 1.8 million line system. We have applied it to Linux, FreeBSD ... that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks. It uses...
  • PaGeFinder

  • Referenced in 0 articles [sw30011]
  • based server for on-line detection of gene expression patterns from serial transcriptomic data generated ... line computation service, the PaGeFinder also provides downloadable Java programs for local detection of gene...
  • HSMUCE

  • Referenced in 13 articles [sw27013]
  • fast to compute, achieves the optimal detection rate and estimates the number of change points ... states. An R‐package is available on line...