5525 search results - page 37 / 1105 » Verification of Model Transformations |
WWW
2003
ACM
15 years 10 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
128
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a discriminative Hough transform based ob-
ject detector where each local part casts a weighted vote for
the possible locations of the object center. We show that the
...
PR
2002
14 years 9 months ago
2002
Search by Object Model -- finding an object inside a target image -- is a desirable and yet difficult mechanism for querying multimedia data. An added difficulty is that objects c...
ECEASST
2006
14 years 9 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
WSC
1996
14 years 11 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...