• 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 forward-chaining heuristic search planner, capable of reasoning with COntinuous ... during planning. COLIN combines FF-style 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: Depth-bounded 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 forward-backward or backward-forward ... 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 time-step restriction. The search for high order...
  • C-SHORe

  • 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...
  • I-SATCHMO

  • 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...
  • R-SATCHMO

  • 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, R-SATCHMO always searches a subspace of that which I-SATCHMO...
  • 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 search-tree view is used as a framework...