Sciweavers

20197 search results - page 79 / 4040
» Comparing Computational Power
Sort
View
113
Voted
APAL
2010
97views more  APAL 2010»
15 years 2 months ago
A modal logic framework for reasoning about comparative distances and topology
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...
TIT
2011
113views more  TIT 2011»
14 years 9 months ago
Eigen-Inference for Energy Estimation of Multiple Sources
—This paper introduces a new method to blindly estimate the transmit power of multiple signal sources in multiantenna fading channels, when the number of sensing devices and the ...
Romain Couillet, Jack W. Silverstein, Zhidong Bai,...
145
Voted
STOC
2012
ACM
242views Algorithms» more  STOC 2012»
13 years 4 months ago
Separating multilinear branching programs and formulas
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
Zeev Dvir, Guillaume Malod, Sylvain Perifel, Amir ...
115
Voted
LCN
2008
IEEE
15 years 8 months ago
What's new? Message reduction in sensor networks using events
—Observing the environment is the raison d’ ˆetre of sensor networks, but the precise reconstruction of the measured process requires too many messages for a low power sensor ...
Andreas Köpke, Adam Wolisz
ISCA
2007
IEEE
171views Hardware» more  ISCA 2007»
15 years 8 months ago
Power provisioning for a warehouse-sized computer
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
Xiaobo Fan, Wolf-Dietrich Weber, Luiz André...