Sciweavers

AI
2016
Springer
10 years 18 days ago
The scope and limits of simulation in automated reasoning
: In scientific computing and in realistic graphic animation, simulation — that is, step-by-step calculation of the complete trajectory of a physical system — is one of the mos...
Ernest Davis, Gary Marcus
AI
2016
Springer
10 years 18 days ago
SATenstein: Automatically building local search SAT solvers from components
Designing high-performance algorithms for computationally hard problems is a difficult and often time-consuming task. In this work, we demonstrate that this task can be automated...
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Ke...
AI
2016
Springer
10 years 18 days ago
Truncated incremental search
Sandip Aine, Maxim Likhachev
AI
2016
Springer
10 years 18 days ago
Exploiting local and repeated structure in Dynamic Bayesian Networks
We introduce the structural interface algorithm for exact probabilistic inference in dynamic Bayesian networks. It unifies state-of-the-art techniques for inference in static and...
Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck...
AHSWN
2016
10 years 18 days ago
Latency Analysis for M2M and Online Gaming Traffic in an HSPA Network
This paper analyzes latency in a High-Speed Packet Access network appropriately resourced for emulated Machine-to-Machine and Online Gaming traffic. Transmission Control Protocol (...
Milica Popovic, Dejan Drajic, Philipp Svoboda, Nav...
ADHOC
2016
87views Database» more  ADHOC 2016»
10 years 18 days ago
Integration of scheduling and network coding in multi-rate wireless mesh networks: Optimization models and algorithms
Y-networks: An abstraction of collection tree in sensor networks. ACM Transactions on Sensor Networks, 11(4), 1-24. <a href="http://dx.doi.org/10.1145/2764459">[Mor...
Zhaolong Ning, Qingyang Song, Lei Guo 0005, Zhikui...
ADHOC
2016
53views Database» more  ADHOC 2016»
10 years 18 days ago
Establishing location-privacy in decentralized long-distance geocast services
—The ability to communicate over long distances is of central importance for smart traffic applications like cooperative route planning or the discovery and reservation of charg...
Martin Florian, Felix Pieper, Ingmar Baumgart
ADHOC
2016
62views Database» more  ADHOC 2016»
10 years 18 days ago
On the displacement for covering a d-dimensional cube with randomly placed sensors
Consider n sensors placed randomly and independently with the uniform distribution in a d−dimensional unit cube (d ≥ 2). The sensors have identical sensing range equal to r, f...
Rafal Kapelko, Evangelos Kranakis
ADHOC
2016
48views Database» more  ADHOC 2016»
10 years 18 days ago
Decentralized robust spectrum allocation for cognitive radio wireless mesh networks
During the last decade we have seen an explosive growth in the deployment of wireless networks in unlicensed frequency bands, mainly driven by the great success of the IEEE 802.11...
Germán Capdehourat, Federico Larroca, Pablo...
ADHOC
2016
51views Database» more  ADHOC 2016»
10 years 18 days ago
Opportunistic communications based on distributed width-controllable braided multipath routing in wireless sensor networks
Multipath routing, especially braided multipath routing (BMR), has become a powerful tool to provide reliable and energy-efficient packet transmissions against wireless links loss...
Xinjiang Sun, Hao Chen, Xiaobei Wu, Xinjie Yin, We...