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

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

CLICAL
 Referenced in 17 articles
[sw20733]
 real nondegenerate 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 reallife 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 ... mixedinteger linear programming formulations for the (spacefree) multirow 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 threedimensional hyperbolic space. Chapter $5$ and $6$ focus on knots ... includes a collection of various objects for instance fractals and gears, which stand...

RMMEDA
 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 ddimensional space. Unlike previous methods, we explicitly address small cases ... Welzl’s algorithm does work for small instances; moreover, there is a variety of pivoting...