Sciweavers

4155 search results - page 565 / 831
» Topic-Specific Optimization and Structuring
Sort
View
CIKM
2009
Springer
16 years 1 months ago
A mobile tourist assistance and recommendation system based on complex networks
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...
Alf-Christian Schering, Martin Dueffer, Andreas Fi...
EMMCVPR
2009
Springer
16 years 1 months ago
Locally Parallel Textures Modeling with Adapted Hilbert Spaces
This article 3 presents a new adaptive texture model. Locally parallel oscillating patterns are modeled with a weighted Hilbert space defined over local Fourier coefficients. The ...
Pierre Maurel, Jean-François Aujol, Gabriel...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
GECCO
2009
Springer
104views Optimization» more  GECCO 2009»
16 years 1 months ago
Sustaining diversity using behavioral information distance
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
Faustino J. Gomez
GECCO
2009
Springer
153views Optimization» more  GECCO 2009»
16 years 1 months ago
A search space analysis for the waste collection vehicle routing problem with time windows
We address a large scale waste collection vehicle routing problem with time windows (VRPTW) complicated by multiple disposal trips and drivers lunch breaks. A fitness search spac...
Andrew Runka, Beatrice M. Ombuki-Berman, Mario Ven...