366 search results - page 41 / 74 » Four equivalent equivalences of reductions |
171
click to vote
AAAI
2000
15 years 7 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 ...
175
click to vote
TSP
2010
15 years 24 days 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...
187
click to vote
FPGA
2004
ACM
15 years 11 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...
152
click to vote
RTA
1998
Springer
15 years 10 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...
156
click to vote
DCC
2006
IEEE
16 years 5 months 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...