• GOLEM

  • Referenced in 53 articles [sw24695]
  • searching a large hypothesis space for consistent hypotheses as, for instance, FOIL, but rather constructs...
  • MathTensor

  • Referenced in 21 articles [sw09364]
  • quantum field theory of curved space-times for instance to describe the distance along...
  • FODE

  • Referenced in 323 articles [sw08377]
  • wide variety of physical situations, for instance, transport of fluid in porous media, diffusion ... alpha =0.8$ the convergent order in space is confirmed and the numerical results with different...
  • KAZE Features

  • Referenced in 10 articles [sw30439]
  • find features in the Gaussian scale space (particular instance of linear diffusion). However, Gaussian blurring ... evolving the original image through the scale space. By means of nonlinear diffusion...
  • FMPIntersectionTheory

  • Referenced in 9 articles [sw19977]
  • Segre class pushed forward to projective space. The algorithm presented here comes after several others ... where the ambient variety is for instance projective space; to our knowledge, this...
  • outselect

  • Referenced in 4 articles [sw36713]
  • functionality is available to reproduce some instance space results in our papers (Kandanaarachchi...
  • InstanceSpace

  • Referenced in 2 articles [sw38934]
  • InstanceSpace: Instance Space Analysis: A toolkit for the assessment of algorithmic power. This repository provides ... tools to carry out a complete Instance Space Analysis in an automated pipeline ... engine that powers the Melbourne Algorithm Test Instance Library with Data Analytics (MATILDA) web tools ... analysis. For further information on the Instance Space Analysis methodology can be found here...
  • DLMRI-Lab

  • Referenced in 22 articles [sw16409]
  • space measurements and simultaneously reconstruct the MR image (this is an instance of so-called ... image reconstruction from highly undersampled k-space data by dictionary learning,” IEEE Trans. Med. Imag...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • real non-degenerate quadratic spaces Rp,q. Clifford algebras are used to handle rotations ... Usenet newsgroups, for instance about rotations of the 4D Euclidean space R4. In teaching, CLICAL...
  • SPECjvm98

  • Referenced in 5 articles [sw09419]
  • more than 50% of the allocated space for instance objects, that Java objects tend...
  • NiVER

  • Referenced in 19 articles [sw06958]
  • instances. The original algorithm for the SAT problem, Variable Elimination Resolution, has exponential space complexity ... Literal count). In many real-life instances, we observed that most of the resolvents...
  • SIGREF

  • Referenced in 15 articles [sw00859]
  • world instances. The experiments show cases where our framework can handle state spaces efficiently that...
  • BEEM

  • Referenced in 30 articles [sw09815]
  • more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety ... portal also includes information about state spaces and facilities for selection of models for experiments...
  • LibMetricSpace

  • Referenced in 4 articles [sw33484]
  • adding new indexes and spaces. In addition, there are example instances and automatic generators...
  • Shatter

  • Referenced in 6 articles [sw21225]
  • applications. Nevertheless, a number of practical SAT instances remain difficult to solve [9] and continue ... that symmetries in the Boolean search space are often to blame. A theoretical framework ... instance in conjunctive normal form (CNF). The SBPs prune the search space by acting...
  • CABOB

  • Referenced in 31 articles [sw17813]
  • instance without making assumptions about the instance distribution. Experiments against the fastest prior algorithm, CPLEX ... structure. CABOB’s search runs in linear space and has significantly better anytime performance than...
  • RowLayout

  • Referenced in 7 articles [sw31820]
  • center distances is minimized. As even small instances of the MRFLP are rather challenging, several ... mixed-integer linear programming formulations for the (space-free) multi-row facility layout problem with ... distance and betweenness variables. Using these formulations instances with up to 25 departments ... able to reduce the running times for instances with up to 23 departments significantly...
  • 3dprintmath

  • Referenced in 6 articles [sw20130]
  • concrete notions. For instance it happens frequently to speak about topological spaces, functions, isometries ... model of tilings of three-dimensional hyperbolic space. Chapter $5$ and $6$ focus on knots ... includes a collection of various objects for instance fractals and gears, which stand...
  • RM-MEDA

  • Referenced in 39 articles [sw08554]
  • models a promising area in the decision space by a probability distribution whose centroid ... MIDEA, on a set of test instances with variable linkages. We have demonstrated that, compared...
  • Miniball

  • Referenced in 44 articles [sw05179]
  • balls in d-dimensional space. Unlike previous methods, we explicitly address small cases ... Welzl’s algorithm does work for small instances; moreover, there is a variety of pivoting...