5525 search results - page 24 / 1105 » Verification of Model Transformations |
AVSS
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose in this work a method for detecting faces in colour images with complex backgrounds. The approach starts with the transformation of the image pixels from the RGB colour...
77
Voted
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
TMM
2010
14 years 4 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
97
Voted
JUCS
2002
14 years 9 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
110
click to vote
CL
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...