ModernPascal

Modern Pascal is a closed source, cross-platform, interpreter, compiler and runtime environment for command line, server-side and networking… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2018
05101519372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Despite the previous efforts of object proposals, the detection rates of the existing approaches are still not satisfactory… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2014
2014
A century has passed since the first X-ray diffraction experiment (Friedrich et al. 1912). During this time, X-ray diffraction… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2013
2013
The goal of an object category discovery system is to annotate a pool of unlabeled image data, where the set of labels is… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2012
2012
This paper presents versat, a formally verified SAT solver incorporating the essential features of modern SAT solvers, including… (More)
Is this relevant?
2008
2008
This paper presents the system analysis and implementation of a soft switching Sepic-Cuk converter to achieve zero voltage… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Work by Kilby, Slaney, Thiebaux and Walsh [1] showed that the backdoors and backbones of unstructured Random 3SAT instances are… (More)
  • table 1
  • figure 1
  • figure 2
  • table 3
  • table 3
Is this relevant?
2007
2007
Modern classification techniques perform well when the number of training examples exceed the number of features. If, however… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1998
1998
A view of modern electronic packaging technology is presented along with its applications at APL. Although not always distinct… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1982
Highly Cited
1982
The use of watchdog processors in the implementation of Structural Integrity Checking (SIC) is described. A model for ideal SIC… (More)
  • figure 3
  • figure 1
  • table I
  • figure 4
Is this relevant?