• SYMMGRP.MAX

  • Referenced in 68 articles [sw10756]
  • MACSYMA program that performs the most elaborate part of the job, namely the construction...
  • CABOB

  • Referenced in 31 articles [sw17813]
  • upper and lower bounding (also across components), elaborate and dynamically chosen bid-ordering heuristics...
  • Ruby

  • Referenced in 27 articles [sw16267]
  • insight underlying the semantics is that various elaborate features of Ruby can be cleanly represented...
  • LUDWIG

  • Referenced in 22 articles [sw02229]
  • large codes for academic consortia. Next we elaborate on some parallel implementation issues such...
  • EasyCrypt

  • Referenced in 21 articles [sw09738]
  • present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches...
  • dlm

  • Referenced in 20 articles [sw04503]
  • maximum likelihood estimation and a much more elaborated one on Bayesian inference. The last chapter...
  • FELSOS

  • Referenced in 19 articles [sw18095]
  • free moving interface. Our goal is to elaborate a unified strategy for numerical modelling...
  • CRCP

  • Referenced in 14 articles [sw18339]
  • efforts from large-eddy simulation to elaborate yet ‘embarrassingly parallel’ turbulence models. Similar...
  • TOPPER

  • Referenced in 11 articles [sw01390]
  • available multiprocessor system. TOPPER proceeds with the elaboration of these two graphs and proposes...
  • SALBPGen

  • Referenced in 10 articles [sw14513]
  • variety of real-world problem variations and elaborate solution methods were developed and presented...
  • Prosper

  • Referenced in 8 articles [sw01309]
  • solutions. An architecture comprising two layers is elaborated. The lower layer, attached directly yet flexibly...
  • HASL

  • Referenced in 5 articles [sw13330]
  • advantage with LHA is that rather elaborate information can be collected on-the-fly during ... where temporal reasoning is naturally blended with elaborate reward-based analysis. We illustrate the HASL...
  • TRIM

  • Referenced in 7 articles [sw01375]
  • check whether oneset of requirements correctly elaborates on another. This paper presents TRIM, a toolfor...
  • MSTA

  • Referenced in 6 articles [sw09777]
  • tool that supports the construction, analysis and elaboration of Modal Transition Systems...
  • SPY

  • Referenced in 6 articles [sw22152]
  • global protocol specifications can be additionally elaborated to express finer-grained and higher-level requirements...
  • EDPEPPS

  • Referenced in 5 articles [sw02269]
  • detailed PVM platform model library has been elaborated that is linked against the user application...
  • NLREG

  • Referenced in 5 articles [sw08630]
  • regularization methods which make use of more elaborate prior information. Accordingly, there is a need...
  • missForest

  • Referenced in 5 articles [sw19483]
  • need of a test set or elaborate cross-validation. It can be run in parallel...
  • MixML

  • Referenced in 5 articles [sw22612]
  • semantics of MixML is defined by an elaboration translation into an internal core language called...
  • GENEREG

  • Referenced in 4 articles [sw08631]
  • regularization methods which make use of more elaborate prior information. Accordingly, there is a need...