• CPLEX

  • Referenced in 2551 articles [sw04082]
  • quadratically constrained optimization problems where the objective to be optimized can be expressed ... convex quadratic function. The variables in the model may be declared as continuous or further...
  • Tabu search

  • Referenced in 1041 articles [sw08556]
  • encompass additional model elements, such as new types of constraints and objective functions. Similarly...
  • OpenCV

  • Referenced in 93 articles [sw11376]
  • movements, track moving objects, extract 3D models of objects, produce 3D point clouds from stereo...
  • SC Toolbox

  • Referenced in 194 articles [sw04462]
  • features, including an object-oriented command-line interface model, new algorithms for multiply elongated...
  • Pyomo

  • Referenced in 42 articles [sw04910]
  • comprehensive guide to Pyomo (Python optimization modeling objects) for beginning and advanced modelers, including students ... modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse ... used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • Alcoa is a tool for analyzing object models. It has a range of uses ... support tool for object model diagrams, checking for consistency of multiplicities and generating sample snapshots ... that is more closely tailored to object models (in the style of UML), and more...
  • CMA-ES

  • Referenced in 102 articles [sw05063]
  • next generation based on their fitness or objective function value f(x). Like this, over ... learning a second order model of the underlying objective function similar to the approximation...
  • Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing ... society. In standard object-oriented models, objects synchronize on method calls. These models ... even deadlock. The Creol model targets distributed objects by a looser coupling of method calls...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... defining probability models over worlds with unknown objects and identity uncertainty. BLOG unifies and extends ... Subject to certain acyclicity constraints, every BLOG model specifies a unique probability distribution over ... first-order model structures that can contain varying and unbounded numbers of objects. Furthermore, complete...
  • Modelica

  • Referenced in 90 articles [sw04352]
  • Modelica is a freely available, object-oriented language for modeling of large, complex, and heterogeneous...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • Bogor’s direct support for modeling object-oriented designs and implementations, (b) its facilities...
  • ABS

  • Referenced in 26 articles [sw21211]
  • specification language for designing executable models of distributed object-oriented systems. The language combines advanced ... mechanisms for concurrent object groups with a functional language for modeling data. ABS uses asynchronous ... cooperative scheduling of method activations inside concurrent objects. This ... feature combination results in a concurrent object-oriented model which is inherently compositional. We discuss...
  • OVID

  • Referenced in 20 articles [sw21962]
  • video-object database system. A video-object data model and the design and implementation ... prototype video-object database system named OVID based on the model ... described. Notable features of the video-object data model are a mechanism to share common...
  • GROOVE

  • Referenced in 50 articles [sw09480]
  • GRaphs for Object-Oriented VErification (GROOVE). GROOVE is a project centered around ... simple graphs for modelling the design-time, compile-time, and run-time ... structure of object-oriented systems, and graph transformations as a basis for model transformation...
  • LMGC90

  • Referenced in 13 articles [sw32485]
  • software is dedicated to the modelling of large objects collections in interaction. It enables ... sophisticated and very detailed models. Each object modeled is defined through out its own geometry ... plastic, etc.) may be used to model objects behaviours. Moreover behaviours between objects are modeled...
  • Visual Basic

  • Referenced in 298 articles [sw03518]
  • from Microsoft for its COM programming model first released in 1991 and declared legacy ... applications, access to databases using Data Access Objects, Remote Data Objects, or ActiveX Data Objects...
  • Robust Control Toolbox

  • Referenced in 144 articles [sw07907]
  • models. You can also tune gain-scheduled controllers. You can specify multiple tuning objectives, such...
  • Zoltan

  • Referenced in 52 articles [sw07458]
  • communication in parallel computing. Different models (graph, hypergraph) and objectives (edge cut, boundary vertices) have...
  • Global Optimization Toolbox For Maple

  • Referenced in 148 articles [sw00358]
  • factors, including cost, time, and staff. The objective of global optimization is to find [numerically ... absolute best solution of highly nonlinear optimization models that may have a number of locally...
  • UOBYQA

  • Referenced in 60 articles [sw07576]
  • curvature of the objective function by forming quadratic models by interpolation. Obviously, no first derivatives...