3335 search results - page 19 / 667 » A Unified Approach to Modeling and Programming |
IEAAIE
2003
Springer
15 years 4 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
ICSE
2011
IEEE-ACM
14 years 2 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
SIAMJO
2011
14 years 6 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
ECOOPW
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...