4074 search results - page 143 / 815 » Abstract Graph Transformation |
137
click to vote
JMIV
2010
14 years 8 months ago
2010
Abstract We consider the problem of estimating the geometric deformation of an object, with respect to some reference observation on it. Existing solutions, set in the standard coo...
179
Voted
COMSUR
2011
14 years 1 months ago
2011
Abstract—The computational and memory resources of wireless sensor nodes are typically very limited, as the employed low-energy microcontrollers provide only hardware support for...
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...
91
Voted
PODS
2004
ACM
16 years 2 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
129
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...