7106 search results - page 387 / 1422 » Restricted Complexity, General Complexity |
188
Voted
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide an amplitude-phase representation of the dual-tree complex wavelet transform by extending the fixed quadrature relationship of the dual-tree wavelets to arbitrary phas...
181
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
187
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
We derive variational equations to analyze the stability of synchronization for coupled near-identical oscillators. To study the effect of parameter mismatch on the stability in a ...
159
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
193
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...