Skip to search formSkip to main contentSkip to account menu

Object Constraint Language

An extension to UML that provides constraint and object query expressions on an object-oriented model that cannot otherwise be expressed by… 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
BFGS‐like updates of constraint preconditioners for sequences of KKT linear systems in quadratic programming
We focus on efficient preconditioning techniques for sequences of Karush‐Kuhn‐Tucker (KKT) linear systems arising from the… 
Highly Cited
2017
Highly Cited
2017
Computational methods for martingale optimal transport problems
We establish numerical methods for solving the martingale optimal transport problem (MOT) - a version of the classical optimal… 
Highly Cited
2017
Highly Cited
2017
Alpha and theta band dynamics related to sentential constraint and word expectancy
ABSTRACT Despite strong evidence for prediction during language comprehension, the underlying mechanisms, and the extent to which… 
2007
2007
Novel preconditioners for the iterative solution to FE-discretized coupled consolidation equations
2004
2004
On the Role of Aspect in Determining Finiteness and Temporal Interpretation in Early Grammar
Over the past several years there has been increasing interest in the temporal and aspectual properties of root infinitive (RI… 
Highly Cited
2003
Highly Cited
2003
The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe.
As a mathematician, I have always been drawn to the more formal programming methods of the Object Constraint Language (OCL). With… 
2003
2003
A constraint diagram reasoning system
The Unified Modeling Language (UML) is a collection of notations which are mainly diagrammatic. These notations are used by… 
Highly Cited
2000
Highly Cited
2000
Phonology as Cognition
This paper attempts to ground phonology within psychology. That is, we are interested in phonology as a branch of the study of… 
1995
1995
Studies on the Formal Semantics of Pictures
4 The geometrical characterisation of pictures 25 4.1 Basic 
Highly Cited
1988
Highly Cited
1988
SIMPLE: A Methodology for Programming High Performance Algorithms on Clusters of Symmetric Multiprocessors (SMPs)
Abstract We describe a methodology for developing high performance programs running on clusters of SMP nodes. The SMP cluster… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)