• PASCAL VOC

  • Referenced in 130 articles [sw36507]
  • researchers who want to see what the state of the art is, as measured ... datasets, along with the limitations and weak points of the current generation of algorithms...
  • mi

  • Referenced in 27 articles [sw10551]
  • addition, we use Bayesian models and weakly informative prior distributions to construct more stable estimates ... existing multivariate imputation programs, and (b) demonstrates state-of-the-art diagnostics that...
  • PRIMME_SVDS

  • Referenced in 10 articles [sw15812]
  • state-of-the-art software and its good parallel performance under strong and weak scaling...
  • SATORI

  • Referenced in 10 articles [sw09597]
  • SATORI - a fast sequentialjustification engine based on state-of-the-art SAT and ATPG techniques.We ... circuit using SAT, has diverging strengths and weaknesses. Inthis paper, we contrast these techniques ... based learning in each time-frameand illegal state learning across time-frames. This enables bothcombinational...
  • Memorax

  • Referenced in 4 articles [sw09759]
  • tool for the verification of control state reachability (i.e., safety properties) of concurrent programs manipulating ... weak memory models. The verification task is non-trivial as it involves exploring state spaces...
  • Cityscapes

  • Referenced in 13 articles [sw36624]
  • enable methods that leverage large volumes of weakly-labeled data. Crucially, our effort exceeds previous ... well as a performance evaluation of several state-of-the-art approaches based...
  • TSIG_COMP

  • Referenced in 1 article [sw12501]
  • fine structure in near-rigid weakly-bonded open-shell complexes that consist of a diatomic ... radical in a 3 Σ state and a closed-shell molecule. Nature of problem: TSIG ... bound states involved in allowed ro-vibrational transitions in semi-rigid planar weakly-bonded open ... contain a free radical in a 3Σ state and a closed-shell partner, where...
  • GNMT

  • Referenced in 22 articles [sw26579]
  • potential to overcome many of the weaknesses of conventional phrase-based translation systems. Unfortunately ... German benchmarks, GNMT achieves competitive results to state-of-the-art. Using a human side...
  • verifier

  • Referenced in 3 articles [sw12878]
  • process calculus qCCS so that verification of weak bisimilarity of configurations becomes easier. In addition ... qCCS to handle security parameters and quantum states symbolically. We then prove the soundness...
  • SPARC

  • Referenced in 3 articles [sw22290]
  • noticeable ’egg-box’ effect; and accurate ground-state properties including equilibrium geometries and vibrational spectra ... thousands of electrons, SPARC displays weak and strong parallel scaling behavior that is similar...
  • Geppetto

  • Referenced in 8 articles [sw31791]
  • Verifiable Computation protocols, which allow a weak client to securely outsource computations to remote parties ... QAPs, Geppetto reduces the cost of sharing state between computations (e.g, For MapReduce) or within...
  • FLICA-4

  • Referenced in 8 articles [sw09187]
  • Toumi, I., 1992, A weak formulation of Roe’s approximate Riemann solver. J. Comp. Phys ... solution method that provides fast running steady state calculations. This kind of numerical method, which...
  • DENOVO

  • Referenced in 8 articles [sw18081]
  • discrete ordinates (SN) transport code that uses state-of-the-art solution methods to obtain ... with published results. Parallel performance shows excellent weak scaling up to 20000 cores and good...
  • CONTRAlign

  • Referenced in 4 articles [sw08305]
  • rigorous cross-validated testing, CONTRAlign effectively leverages weak biological signals in sequence alignment: using CONTRAlign ... less than 20% identity, a signal that state-of-the-art hand-tuned aligners...
  • GIFT

  • Referenced in 5 articles [sw35694]
  • Sbox would lead to a very weak proposal. In essence, GIFT is composed of only ... analysis of our design with regards to state-of-the-art cryptanalysis, and we provide...
  • AnyDBC

  • Referenced in 2 articles [sw29968]
  • density-based clustering algorithm DBSCAN is a state-of-the-art data clustering technique with ... time complexity still remains a severe weakness. In this paper, we propose a novel anytime...
  • Loda

  • Referenced in 1 article [sw15626]
  • showing that an ensemble of very weak detectors can lead to a strong anomaly detector ... performance equal to or better than state of the art methods. The simplicity...
  • TOPAZ0

  • Referenced in 4 articles [sw12098]
  • been upgraded to cover two-fermion final states at LEP 2 energies, where some ... added for s-channel processes, e.g. purely weak boxes, next-to-leading...