1357 search results - page 131 / 272 » Compositionality in Graph Transformation |
143
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
160
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In order to extract high levels of performance from modern parallel architectures, the effective management of deep memory hierarchies is very important. While architectural advan...
119
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
128
Voted
CGF
2008
15 years 3 months ago
2008
We present an unsupervised algorithm for aligning a pair of shapes in the presence of significant articulated motion and missing data, while assuming no knowledge of a template, u...
124
click to vote
EUROSSC
2007
Springer
15 years 9 months ago
2007
Springer
We describe and evaluate a distributed architecture for the online recognition of user activity sequences. In a lower layer, simple heterogeneous atomic activities were recognised ...