3362 search results - page 63 / 673 » A definition of subjective possibility |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
COMPUTING
2006
14 years 12 months ago
2006
We consider the problem of splitting a symmetric positive definite (SPD) stiffness matrix A arising from finite element discretization into the sum of edge matrices thereby assumi...
119
click to vote
SAC
2006
ACM
14 years 11 months ago
2006
ACM
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...
100
click to vote
JUCS
2007
14 years 11 months ago
2007
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
TOPLAS
2002
14 years 11 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...