5525 search results - page 242 / 1105 » Verification of Model Transformations |
147
Voted
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
150
Voted
PVLDB
2008
15 years 4 months ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
129
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Sparse representations of signals have received a great deal of attention in recent years, and the sparse representation classifier has very lately appeared in a speaker recogniti...
133
Voted
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
135
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper addresses the image registration problem applying genetic algorithms. The image registration’s objective is the definition of a mapping that best match two set of poi...