• KELLEY

  • Referenced in 643 articles [sw04829]
  • discussed. Other quasi-Newton methods are sketched. The last chapter of the first part, chapter...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • outline of one black-box solver is sketched and a report is given...
  • Geometer's Sketchpad

  • Referenced in 228 articles [sw04858]
  • Classroom-tested activities are accompanied by presentation sketches and detailed teacher notes, which provide suggestions...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • programming environment being only briefly sketched...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • semantics w.r.t. the declarative one. We also sketch a completeness result for the reduction semantics...
  • leanTAP

  • Referenced in 41 articles [sw09985]
  • calculus to the modal logic K and sketches a proof of the completeness of this ... elegant as leanTAP. Following that, he sketches how similar results can be obtained...
  • EasyCrypt

  • Referenced in 33 articles [sw09738]
  • security proofs of cryptographic systems from proof sketches-compact, formal representations of the essence ... sequence of games and hints. Proof sketches are checked automatically using off-the-shelf...
  • QBIC

  • Referenced in 36 articles [sw14899]
  • main algorithms for color texture, shape and sketch query that we use, show example query...
  • Isolde

  • Referenced in 29 articles [sw00458]
  • formal reduction algorithm and sketch the link with the computation of a formal fundamental matrix...
  • KnotPlot

  • Referenced in 29 articles [sw00491]
  • almost 1000 knots and links or sketched by hand in three dimensions. Also, knots...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • development of customized algorithms. We sketch the solver’s architecture and interface. We discuss...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • part of the input. We also sketch the ongoing integration of fixed-point-based techniques...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • hybrid rule language. This paper sketches syntax and semantics of TRIPLE...
  • BLAD

  • Referenced in 20 articles [sw08612]
  • Those numerical treatments are, at least partly, sketched in this paper in order...
  • LPL software

  • Referenced in 19 articles [sw04860]
  • predicate logic, as well as an accessible sketch of Godel’s first incompleteness theorem...
  • KamiWaAi

  • Referenced in 13 articles [sw01954]
  • KamiWaAi -- interactive 3D sketching with Java based on $Cl(4,1)$ conformal model of Euclidean ... This paper introduces the new interactive Java sketching software KamiWaAi, recently developed at the University...
  • Sketch2Photo

  • Referenced in 13 articles [sw14453]
  • realistic picture from a simple freehand sketch annotated with text labels. The composed picture ... stitching several photographs in agreement with the sketch and text labels; these are found...
  • StackGAN

  • Referenced in 11 articles [sw42521]
  • into more manageable sub-problems through a sketch-refinement process. The Stage-I GAN sketches...
  • SolidWorks

  • Referenced in 15 articles [sw04197]
  • products to market faster. ... using the 2D sketch feature of SolidWorks...
  • O'Mega

  • Referenced in 15 articles [sw07195]
  • Mega: An Optimizing Matrix Element Generator We sketch the architecture of O’Mega...