Sciweavers

2766 search results - page 324 / 554
» Algorithms for trigonometric polynomials
Sort
View
ACMSE
2005
ACM
15 years 10 months ago
Heuristics for dependency conjectures in proteomic signaling pathways
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
Edward E. Allen, Jacquelyn S. Fetrow, David J. Joh...
APPROX
2005
Springer
84views Algorithms» more  APPROX 2005»
15 years 10 months ago
The Tensor Product of Two Codes Is Not Necessarily Robustly Testable
There has been significant interest lately in the task of constructing codes that are testable with a small number of random probes. Ben-Sasson and Sudan show that the repeated te...
Paul Valiant
133
Voted
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 10 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
COCOON
2005
Springer
15 years 10 months ago
Interference in Cellular Networks: The Minimum Membership Set Cover Problem
Abstract. The infrastructure for mobile distributed tasks is often formed by cellular networks. One of the major issues in such networks is interference. In this paper we tackle in...
Fabian Kuhn, Pascal von Rickenbach, Roger Wattenho...
184
Voted
COCOON
2005
Springer
15 years 10 months ago
Fault-Tolerant Relay Node Placement in Wireless Sensor Networks
The paper addresses the relay node placement problem in two-tiered wireless sensor networks. Given a set of sensor nodes in an Euclidean plane, our objective is to place minimum nu...
Hai Liu, Peng-Jun Wan, Xiaohua Jia