
FSDA
 Referenced in 18 articles
[sw11737]
 data exploration. We present the FSDA (Forward Search for Data Analysis) toolbox, a new software ... project was born around the Forward Search approach, but it has evolved to include...

evtree
 Referenced in 11 articles
[sw14304]
 that build the model in a forward stepwise search. Although this approach is known...

CFSQP
 Referenced in 61 articles
[sw04658]
 within at most four iterations (nonmonotone line search). He/She must provide functions that define ... require that CFSQP estimate them by forward finite differences. CFSQP is an implementation ... iterates. In the first one (monotone line search), a certain Armijo type arc search...

Rfwdmv
 Referenced in 3 articles
[sw25518]
 package Rfwdmv: Forward Search for Multivariate Data. Explore Multivariate Data with the Forward Search ... forward multivariate analysis) which implements the forward search for the analysis of multivariate data ... graphical tools for interactively assessing fitted forward searches on multivariate data...

COLIN
 Referenced in 5 articles
[sw27480]
 change. We describe COLIN, a forwardchaining heuristic search planner, capable of reasoning with COntinuous ... during planning. COLIN combines FFstyle forward chaining search, with the use of a linear...

CoCo
 Referenced in 9 articles
[sw25028]
 CoCo is given. Incremental search by backward elimination and forward selection and the global search...

YIELDS
 Referenced in 4 articles
[sw31658]
 several solving algorithms: Depthbounded Discrepancy Search, Forward Checking, and Maintaining Arc Consistency. Experiments carried...

clustvarsel
 Referenced in 18 articles
[sw07967]
 greedy or headlong search can be used, either in a forwardbackward or backwardforward ... default the algorithm uses a sequential search, but parallelization is also available...

forward
 Referenced in 2 articles
[sw32756]
 package forward: Robust Analysis using Forward Search. Robust analysis using forward search in linear...

ForwardSearch
 Referenced in 1 article
[sw24874]
 package ForwardSearch: Forward Search using asymptotic theory. Forward Search analysis of time series regressions. Implements...

FSDA4R
 Referenced in 1 article
[sw30188]
 heterogeneity. FSDA was born around the forward search approach, and has since developed to become...

ETPS
 Referenced in 156 articles
[sw06302]
 dealing with equality. It has facilities for searching for expansion proofs, translating these into natural ... incorrect actions. ETPS permits students to work forwards, backwards, or in a combination of these...

ImplicitLNLMethods
 Referenced in 8 articles
[sw23184]
 first order forward Euler, under a certain timestep restriction. The search for high order...

CSHORe
 Referenced in 5 articles
[sw13319]
 from an approximate forward reachability analysis to guide its backward search. Moreover, we introduce...

SATCHMOREBID
 Referenced in 7 articles
[sw06623]
 clauses. The search for the relevant negative clauses is performed in a forward chaining mode...

MoEClust
 Referenced in 1 article
[sw35305]
 component is also facilitated. A greedy forward stepwise search algorithm is provided for identifying...

ModEM
 Referenced in 2 articles
[sw15654]
 components of the inversion – forward modeling, sensitivity computations, inversion search algorithms, model parametrization and regularization...

ISATCHMO
 Referenced in 6 articles
[sw06622]
 introduce a method for reducing the redundant search space for SATCHMO’s model generation approach ... been used as an antecedent atom for forward chaining. We show that a splitting ... this way, much of the redundant search space can be eliminated. Our method is simple...

RSATCHMO
 Referenced in 3 articles
[sw06620]
 atoms that only contribute to irrelevant forward chaining reasoning are marked as `useful’. The other ... therefore use them to expand the search space. Moreover, not utilizing the partial reasoning results ... making the atoms that contribute to relevant forward chaining reasoning as useful; (2) it distinguishes ... avoid repeated reasoning. Hence, RSATCHMO always searches a subspace of that which ISATCHMO...

APT
 Referenced in 3 articles
[sw29303]
 conjunctions and disjunctions. This tree represents the search space traversed by the program ... replay the execution at will, both forwards and backwards in time. These views ... size of the execution requires it. The searchtree view is used as a framework...