868 search results - page 17 / 174 » Debugging for Model Expansion |
URBAN
2010
13 years 8 months ago
2010
FSE
2003
Springer
14 years 3 months ago
2003
Springer
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Many solutions to computer vision and image processing problems involve the minimization of multi-label energy functions with up to K variables in each term. In the minimization pr...
CONTEXT
2001
Springer
14 years 2 months ago
2001
Springer
We develop a probabilistic criterion for belief expansion that is sensitive to the degree of contextual fit of the new information to our belief set as well as to the reliability...