Sciweavers

8496 search results - page 1348 / 1700
» Problem Solving and Complex Systems
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
15 years 6 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu
VLSISP
2002
123views more  VLSISP 2002»
15 years 6 months ago
Monte Carlo Bayesian Signal Processing for Wireless Communications
Abstract. Many statistical signal processing problems found in wireless communications involves making inference about the transmitted information data based on the received signal...
Xiaodong Wang, Rong Chen, Jun S. Liu
PVLDB
2008
89views more  PVLDB 2008»
15 years 6 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
INFOCOM
2010
IEEE
15 years 5 months ago
Resource Allocation in Multi-cell OFDMA-based Relay Networks
Abstract— Cooperative relay networks combined with Orthogonal Frequency Division Multiplexing Access (OFDMA) technology has been widely recognized as a promising candidate for fu...
Yao Hua, Qian Zhang, Zhisheng Niu
CIKM
2010
Springer
15 years 4 months ago
Research proposal for distributed deep web search
This proposal identifies two main problems related to deep web search, and proposes a step by step solution for each of them. The first problem is about searching deep web content...
Kien-Tsoi T. E. Tjin-Kam-Jet
« Prev « First page 1348 / 1700 Last » Next »