Sciweavers

20294 search results - page 70 / 4059
» Algorithmic Information Theory
Sort
View
139
Voted
FSTTCS
2004
Springer
15 years 9 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
130
Voted
GCC
2006
Springer
15 years 7 months ago
BSM: A scheduling algorithm for dynamic jobs based on economics theory
In this paper, we propose a new scheduling algorithm with economic theory, called Black Scholes Market (BSM) algorithm for a class of Dynamic Jobs (DJ). BSM is based on the classi...
Bo Cao, Yongwei Wu, Guangwen Yang, Jia Liu, Jianji...
120
Voted
IMSCCS
2006
IEEE
15 years 10 months ago
A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory
The paper mainly deals with a vertical handover decision algorithm based on the fuzzy control theory. The algorithm takes into consider the factors of Power Level, Cost and Bandwi...
Hongwei Liao, Ling Tie, Zhao Du
141
Voted
CORR
2007
Springer
194views Education» more  CORR 2007»
15 years 3 months ago
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
Markus Püschel, José M. F. Moura
114
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Hybrid design of filtered-x adaptive algorithm via sampled-data control theory
Analysis and design of ltered-x adaptive algorithms are conventionally done by assuming that the transfer function in the secondary path is a discrete-time system. However, in rea...
Masaaki Nagahara, Yutaka Yamamoto