• INTOPT_90

  • Referenced in 306 articles [sw04705]
  • only admits equality constraints (within a box frame). The solution procedures are based on branch...
  • FEAP

  • Referenced in 192 articles [sw04963]
  • solids, thermal elements, two and three dimensional frame (rod/beam) elements, plate and shell elements...
  • Theorema

  • Referenced in 149 articles [sw00961]
  • provides a uniform logic and software technologic frame for proving, solving, and simplifying formulae...
  • CVRPSP

  • Referenced in 130 articles [sw13447]
  • inequalities, homogeneous multistar inequalities, generalized multistar inequalities, framed capacity inequalities, strengthened comb inequalities, and hypotour...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • constructs. The specifications include pre- and postconditions, frame specifications (read and write sets), and termination...
  • dplyr

  • Referenced in 71 articles [sw13271]
  • fast, consistent tool for working with data frame like objects, both in memory...
  • TAU

  • Referenced in 69 articles [sw04967]
  • given which first describes the history of frame in which the TAU code was developed...
  • FAIR.m

  • Referenced in 57 articles [sw34733]
  • transforming data into a common reference frame...
  • Omega

  • Referenced in 54 articles [sw11878]
  • Andrews and Peter Paule within the frame of a project initiated by Andrews...
  • Smallfoot

  • Referenced in 53 articles [sw09787]
  • aspects of separation logic, namely: avoidance of frame axioms (which say what a procedure does...
  • BEAM189

  • Referenced in 49 articles [sw07447]
  • load-carrying characteristics of an inflatable support frame subjected to a compression force. The wrinkling...
  • QuadCover

  • Referenced in 24 articles [sw40569]
  • parameter lines are guided by a given frame field, for example, by principal curvature frames ... into quadrilaterals. The algorithm converts a given frame field into a single vector field ... optional smoothing and alignment of the initial frame field, the algorithm is fully automatic...
  • EXCALC

  • Referenced in 41 articles [sw06318]
  • tensor field for an arbitrary given frame...
  • CVRPSEP

  • Referenced in 41 articles [sw11809]
  • inequalities, homogeneous multistar inequalities, generalized multistar inequalities, framed capacity inequalities, strengthened comb inequalities, and hypotour...
  • MUMMER

  • Referenced in 41 articles [sw17256]
  • generate alignments based upon the six-frame translations of both input sequences. The original MUMmer...
  • KL-ONE

  • Referenced in 41 articles [sw28891]
  • that are descended from semantic networks and frames via the system KL-ONE. During...
  • DAML+OIL

  • Referenced in 37 articles [sw02445]
  • provides modelling primitives commonly found in frame-based languages. DAML+OIL (March 2001) extends DAML...
  • MEGAFLOW

  • Referenced in 37 articles [sw03219]
  • roughly according to the time-frame of the MEGAFLOW II project from...
  • HumanEva

  • Referenced in 24 articles [sw15489]
  • repetitions. On the order of 40,000 frames of synchronized motion capture and multi-view ... resulting in over one quarter million image frames in total) were collected...
  • Qsplat

  • Referenced in 33 articles [sw07699]
  • time interactive display with a user-selectable frame rate. Refinement to a high-quality rendering...