2335 search results - page 229 / 467 » Type Checking Type Classes |
DEXA
2009
Springer
14 years 5 months 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...
ICASSP
2008
IEEE
14 years 5 months 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...
TOOLS
2008
IEEE
14 years 5 months 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...
SCAM
2007
IEEE
14 years 5 months 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...
CRYPTO
2005
Springer
14 years 4 months ago
2005
Springer
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...