
CPLEX
 Referenced in 2804 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 1079 articles
[sw08556]
 encompass additional model elements, such as new types of constraints and objective functions. Similarly...

OpenCV
 Referenced in 117 articles
[sw11376]
 movements, track moving objects, extract 3D models of objects, produce 3D point clouds from stereo...

Pyomo
 Referenced in 77 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...

SC Toolbox
 Referenced in 208 articles
[sw04462]
 features, including an objectoriented commandline interface model, new algorithms for multiply elongated...

Modelica
 Referenced in 126 articles
[sw04352]
 Modelica is a freely available, objectoriented language for modeling of large, complex, and heterogeneous...

CMAES
 Referenced in 124 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...

Alcoa
 Referenced in 28 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...

Creol
 Referenced in 27 articles
[sw09421]
 Creol: A typesafe objectoriented model for distributed concurrent systems. Objectoriented distributed computing ... society. In standard objectoriented 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 ... firstorder model structures that can contain varying and unbounded numbers of objects. Furthermore, complete...

ABS
 Referenced in 31 articles
[sw21211]
 specification language for designing executable models of distributed objectoriented 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 objectoriented model which is inherently compositional. We discuss...

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

GROOVE
 Referenced in 51 articles
[sw09480]
 GRaphs for ObjectOriented VErification (GROOVE). GROOVE is a project centered around ... simple graphs for modelling the designtime, compiletime, and runtime ... structure of objectoriented systems, and graph transformations as a basis for model transformation...

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

Mcmcpack
 Referenced in 63 articles
[sw07974]
 Statistical Library Version 1.0.3. All models return coda mcmc objects that can then be summarized...

SDBOX
 Referenced in 32 articles
[sw05137]
 algorithm investigates the local behaviour of the objective function on the feasible set by sampling ... used to build an approximation model of the objective function. The minimum of such ... model is accepted if it produces an improvement of the objective function value. We also...

Zoltan
 Referenced in 62 articles
[sw07458]
 communication in parallel computing. Different models (graph, hypergraph) and objectives (edge cut, boundary vertices) have...

Visual Basic
 Referenced in 306 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 156 articles
[sw07907]
 models. You can also tune gainscheduled controllers. You can specify multiple tuning objectives, such...

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