2128 search results - page 224 / 426 » A general characterization of indulgence |
152
click to vote
CP
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
175
click to vote
CRYPTO
2004
Springer
16 years 14 hour ago
2004
Springer
Unconditionally secure multi-party computations in general, and broadcast in particular, are impossible if any third of the players can be actively corrupted and if no additional i...
183
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a compact Nonlinear model Order Reduction Method (NORM) that is applicable for time-invariant and time-varying weakly nonlinear systems. NORM is suitable for r...
164
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
160
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
Memory systems consume a significant portion of power in handheld embedded systems. So far, low-power memory techniques have addressed the power consumption when the system is tu...