412 search results - page 9 / 83 » Completion for Multiple Reduction Orderings |
LMCS
2007
13 years 7 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
ENTCS
2010
13 years 4 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Synthetic Aperture Radar Coherent Change Detection (SAR CCD) is a sensitive change detector capable of finding ground surface height changes on the order of a radar wavelength. W...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Let G1 be a cyclic multiplicative group of order n. It is known that the Diffie-Hellman problem is random self-reducible in G1 with respect to a fixed generator g if (n) is known....
FLAIRS
2004
13 years 8 months ago
2004
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...