5525 search results - page 49 / 1105 » Verification of Model Transformations |
ICDAR
2007
IEEE
15 years 1 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
103
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
ENTCS
2008
14 years 9 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The proliferation of handheld devices such as PDAs and smartphones represents a new scenario for automatic signature verification. Traditionally, research on signature verificatio...