3605 search results - page 273 / 721 » Associated types with class |
124
click to vote
ICASSP
2008
IEEE
16 years 1 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...
148
click to vote
SCAM
2007
IEEE
16 years 1 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...
190
click to vote
ETFA
2006
IEEE
16 years 1 months 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...
203
click to vote
CRYPTO
2005
Springer
16 years 24 days 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...
197
click to vote
LPNMR
2005
Springer
16 years 23 days ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...