Cerca
Ara es mostren els items 1-10 de 560
Routing in a many-to-one communication scenario in a realistic VDTN
(2018)
Article.
Accés obert
Article.
Accés obert
In this paper, we evaluate and compare the performance of different routing protocols in a many-to-one communication within a Vehicular Delay Tolerant Network (VDTN). Seven groups with three stationary sensor nodes sense ...
Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof
(Elsevier, 2012-07)
Article.
Accés restringit per política de l'editorial
Article.
Accés restringit per política de l'editorial
In parametric design, changing values of parameters to get different solution instances to the problem
at hand is a paramount operation. One of the main issues when generating the solution instance for the
actual set of ...
Reconstructing geometrically consistent tree structures from noisy images
(2010-09)
Article.
Accés restringit per política de l'editorial
Article.
Accés restringit per política de l'editorial
We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bifurcation points, and impose geometric
constraints ...
Variable neighbourhood search for the variable sized bin packing problem
(2012-05)
Article.
Accés restringit per política de l'editorial
Article.
Accés restringit per política de l'editorial
The variable sized bin packing problem is a generalisation of the one-dimensional bin packing problem. Given is a set of weighted items, which must be packed into a minimum-cost set of bins of variable sizes and costs. ...
Compression and the origins of Zipf's law for word frequencies
(2016-11-01)
Article.
Accés obert
Article.
Accés obert
Here we sketch a new derivation of Zipf's law for word frequencies based on optimal coding. The structure of the derivation is reminiscent of Mandelbrot's random typing model but it has multiple advantages over random ...
Scaling laws in cognitive science
(Elsevier, 2010-05-01)
Article.
Accés obert
Article.
Accés obert
Scaling laws are ubiquitous in nature, and they pervade neural, behavioral and linguistic activities. A scaling law suggests the existence of processes or patterns that are repeated across scales of analysis. Although the ...
Narrow proofs may be maximally long
(2016-07-03)
Article.
Accés obert
Article.
Accés obert
We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n(Omega(w)). This shows that the simple counting argument that any formula refutable ...
Application of CBR for intelligent process control of a WWTP
(IOS Press, 2019)
Article.
Accés obert
Article.
Accés obert
This paper proposes the use of a Case-Based Reasoning (CBR) system for the control and the supervision of a real wastewater treatment plant (WWTP). A WWTP is a critical system which aims to ensure the quality of the water ...
The ordering principle in a fragment of approximate counting
(2014)
Article.
Accés obert
Article.
Accés obert
The ordering principle states that every finite linear order has a least element. We show that, in the relativized setting, the surjective weak pigeonhole principle for polynomial time functions does not prove a Herbrandized ...