Results 1 to 20 of 802
Sort by:

  • 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...