Sciweavers

124 search results - page 8 / 25
» A Family of the ODMG Object Models
Sort
View
ECOOP
2003
Springer
15 years 5 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
15 years 5 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
CVPR
2011
IEEE
14 years 3 months ago
Connecting Non-Quadratic Variational Models and MRFs
Spatially-discrete Markov random fields (MRFs) and spatially-continuous variational approaches are ubiquitous in low-level vision, including image restoration, segmentation, opti...
Kevin Schelten, Stefan Roth
DKE
2000
87views more  DKE 2000»
14 years 11 months ago
On the representation of roles in object-oriented and conceptual modelling
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
Friedrich Steimann
INFORMATICALT
1998
145views more  INFORMATICALT 1998»
14 years 11 months ago
Design of Reusable VHDL Component Using External Functions
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
Vytautas Stuikys