5086 search results - page 406 / 1018 » The Power of Comparative Reasoning |
173
click to vote
CAIP
2009
Springer
15 years 10 months ago
2009
Springer
A new type of affine moment invariants for color images is proposed in this paper. The traditional affine moment invariants can be computed on each color channel separately, yet wh...
174
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
163
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the implementation of the Advanced Encryption Standard Algorithm, Rijndael, in a new nanoscale technology, called CMOL. This technology consists of an array of...
174
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
181
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...