1828 search results - page 160 / 366 » First-Class Type Classes |
151
click to vote
DEXA
2009
Springer
16 years 29 days ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
103
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
We address the problem of minimum mean-squared error (MMSE) estimation where the estimator is constrained to belong to a prede ned set of functions. We derive a simple closed form...
175
click to vote
TOOLS
2008
IEEE
16 years 23 days ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
123
click to vote
SCAM
2007
IEEE
16 years 20 days ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
162
click to vote
ETFA
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...