7393 search results - page 321 / 1479 » Synthesis-for-testability using transformations |
102
click to vote
VCIP
2000
15 years 6 months ago
2000
Image registration is the fundamental task used to match two or more partially overlapping images and stitch these images into one panoramic image comprising the whole scene. To r...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
121
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...