568 search results - page 64 / 114 » New bounds for the Cebysev functional |
150
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
- This paper presents a spectrally-weighted balanced truncation technique for RLC interconnects, a technique needed when the interconnect circuit parameters change as a result of v...
200
click to vote
ISPEC
2009
Springer
16 years 29 days ago
2009
Springer
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
141
click to vote
ISSAC
2009
Springer
16 years 22 days ago
2009
Springer
We show that detecting real roots for honestly n-variate (n + 2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any ...
156
click to vote
CSFW
2008
IEEE
16 years 20 days ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
162
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...