Sciweavers

8825 search results - page 302 / 1765
» All for one or one for all
Sort
View
ICC
2008
IEEE
113views Communications» more  ICC 2008»
15 years 8 months ago
QRD-Based Precoded MIMO-OFDM Systems with Reduced Feedback
QR decomposition (QRD)-based precoded MIMO-OFDM systems with reduced feedback are proposed to convert the MIMO-OFDM channel into layered subchannels. QRD-M is further combined wit...
Kyeong Jin Kim, Man-On Pun, Ronald A. Iltis
115
Voted
ESA
2007
Springer
143views Algorithms» more  ESA 2007»
15 years 8 months ago
Two's Company, Three's a Crowd: Stable Family and Threesome Roommates Problems
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
Chien-Chung Huang
VMCAI
2007
Springer
15 years 8 months ago
Better Under-Approximation of Programs by Hiding Variables
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
Thomas Ball, Orna Kupferman
ICDCSW
2005
IEEE
15 years 7 months ago
DiamondHelp: A Collaborative Interface Framework for Networked Home Appliances
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...
Charles Rich, Candy L. Sidner, Neal Lesh, Andrew G...
SIGMETRICS
2005
ACM
120views Hardware» more  SIGMETRICS 2005»
15 years 7 months ago
Automatic measurement of memory hierarchy parameters
The running time of many applications is dominated by the cost of memory operations. To optimize such applications for a given platform, it is necessary to have a detailed knowled...
Kamen Yotov, Keshav Pingali, Paul Stodghill