• CaSPER

  • Referenced in 6 articles [sw08629]
  • interval-based reasoning and for 3d space reasoning. A black-box solver for problems expressed...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • size of search spaces in order to obtain reasonably efficient construction of problem solutions...
  • FMMLIB2D

  • Referenced in 29 articles [sw12486]
  • equation in free space. The codes are easy to use and reasonably well optimized...
  • UG

  • Referenced in 191 articles [sw04596]
  • commercial codes use them. There are two reasons for this. Firstly, the multigrid solution ... unstructured meshes in two and three space dimensions as well as a flexible data layout...
  • CSP2SAT4J

  • Referenced in 4 articles [sw10081]
  • that could be grounded in a reasonable space were available. As such, the comparison between...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • example, interest in planning demonstrated by the space res earch community has inspired work ... focus the community on the modelling and reasoning issues that must be confronted to make...
  • FisPro

  • Referenced in 9 articles [sw16651]
  • inference systems and to use them for reasoning purposes, especially for simulating a physical ... interface between symbolic and numerical spaces. One of the reasons for this success...
  • ExpertGuide

  • Referenced in 5 articles [sw01589]
  • developing mentors in knowledge spaces. Case-Based Reasoning (CBR) has been used to improve knowledge ... develop mentor systems in complex knowledge spaces. ExpertGuide was designed as a tool for developing...
  • SamIam

  • Referenced in 17 articles [sw29886]
  • reasoning engine supports many tasks including: classical inference; parameter estimation; time-space tradeoffs; sensitivity analysis...
  • Maude-NPA

  • Referenced in 35 articles [sw12159]
  • State space reduction in the Maude-NRL protocol analyzer. The Maude-NRL Protocol Analyzer (Maude ... tool and inference system for reasoning about the security of cryptographic protocols in which ... original NRL Protocol Analyzer, which supported equational reasoning in a more limited way. Maude ... develop ways of reducing the search space and avoiding infinite search paths. In order...
  • ReVirt

  • Referenced in 5 articles [sw29986]
  • attacks and executions. ReVirt adds reasonable time and space overhead. Overheads due to virtualization...
  • SOLAR

  • Referenced in 20 articles [sw00888]
  • theorem proving, query answering and nonmonotonic reasoning. SOL is a connection tableau calculus which ... prune away redundant branches of the search space. This paper introduces some...
  • PeerSim

  • Referenced in 12 articles [sw39221]
  • reasonable effort they can be evolved into a real implementation. Testing in specified parameter-spaces...
  • UniModeling

  • Referenced in 1 article [sw07501]
  • unified modeling and reasoning in outdoor and indoor spaces This paper demonstrates UniModeling; a tool ... unified modeling and reasoning in outdoor and indoor spaces. UniModeling supports constructing unified graph models ... indoor spaces and RFID deployments in these spaces. It enables probabilistic incorporation of RFID data ... reasoning applications that pertain to the positioning of RFID readers in outdoor and indoor spaces...
  • Marabou

  • Referenced in 6 articles [sw31368]
  • high-level reasoning on the network that can curtail the search space and improve performance...
  • CLIFF

  • Referenced in 10 articles [sw35898]
  • This clustering problem is difficult for several reasons, in particular the sparsity of the data ... high dimensionality of the feature (gene) space, and the fact that many features are irrelevant...
  • Sweepers

  • Referenced in 8 articles [sw14155]
  • space cannot overlap so that the deformations are reversible. There are good intuitive reasons...
  • R-SATCHMO

  • Referenced in 3 articles [sw06620]
  • that only contribute to irrelevant forward chaining reasoning are marked as `useful’. The other ... expand the search space. Moreover, not utilizing the partial reasoning results derivable during reasoning...
  • FMMLIB3D

  • Referenced in 11 articles [sw17577]
  • Laplace, Helmholtz equations in free space. STFMMLIB3D permits the evaluation of potential fields governed ... codes are easy to use and reasonably well optimized for performance. It is being released ... particle (point) sources only, either in free-space or in a half-space with...
  • FASP

  • Referenced in 2 articles [sw19089]
  • this reason, this software package is called Fast Auxiliary Space Preconditioning or FASP for short...