Sciweavers

3591 search results - page 208 / 719
» Typing linear constraints
Sort
View
CAD
2010
Springer
15 years 7 months ago
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
Hilderick A. van der Meiden, Willem F. Bronsvoort
SAC
2006
ACM
15 years 7 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
ENDM
2000
174views more  ENDM 2000»
15 years 7 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
TIT
2002
83views more  TIT 2002»
15 years 6 months ago
Capacity and reliability function for small peak signal constraints
The capacity and the reliability function as the peak constraint tends to zero are considered for a discrete-time memoryless channel with peak constrained inputs. Prelov and van de...
Bruce Hajek, Vijay G. Subramanian
270
Voted
SIAMCO
2011
15 years 2 months ago
Semismooth Newton Methods for Optimal Control of the Wave Equation with Control Constraints
In this paper optimal control problems governed by the wave equation with control constraints are analyzed. Three types of control action are considered: distributed control, Neuma...
Axel Kröner, Karl Kunisch, Boris Vexler