Sciweavers

3600 search results - page 49 / 720
» The settling-time reducibility ordering
Sort
View
ISCAS
2007
IEEE
95views Hardware» more  ISCAS 2007»
16 years 12 days ago
A Universal Approach to Developing Fast Algorithm for Simplified Order-16 ICT
—Simplified order-16 Integer Cosine Transform (ICT) has been proved to be an efficient coding tool especially for High-Definition (HD) video coding and is much simpler than ICT a...
Jie Dong, King Ngi Ngan, Chi-Keung Fong, Wai-kuen ...
TWC
2008
103views more  TWC 2008»
15 years 6 months ago
Performance analysis of a cross-layer handoff ordering scheme in wireless networks
In this paper we propose a cross-layer handoff ordering scheme. The frame success rate (FSR) is adopted as the basis of prioritization. Different quality of service (QoS) requireme...
Po-Chiang Lin, Tsungnan Lin, Chiapin Wang
131
Voted
DAC
2005
ACM
16 years 7 months ago
A quasi-convex optimization approach to parameterized model order reduction
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
Kin Cheong Sou, Alexandre Megretski, Luca Daniel
CADE
2003
Springer
16 years 6 months ago
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
Renate A. Schmidt, Ullrich Hustadt
LORI
2009
Springer
16 years 20 days ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss