366 search results - page 41 / 74 » Four equivalent equivalences of reductions |
102
Voted
AAAI
2000
15 years 2 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
114
Voted
TSP
2010
14 years 7 months ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
112
click to vote
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
We present a cryptographic architecture optimization technique called divide-and-concatenate based on two observations: (i) the area of a multiplier and associated data path decre...
103
Voted
RTA
1998
Springer
15 years 5 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
105
click to vote
DCC
2006
IEEE
16 years 10 days ago
2006
IEEE
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...