Sciweavers

9698 search results - page 332 / 1940
» models 2010
Sort
View
GECCO
2010
Springer
195views Optimization» more  GECCO 2010»
15 years 10 months ago
GPU-based island model for evolutionary algorithms
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
WCNC
2010
IEEE
15 years 10 months ago
META: A Mobility Model of MEtropolitan TAxis Extracted from GPS Traces
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...
Hongyu Huang, Yanmin Zhu, Xu Li, Minglu Li, Min-Yo...
VAMOS
2010
Springer
15 years 8 months ago
Tool Support for Incremental Consistency Checking on Variability Models
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
Michael Vierhauser, Deepak Dhungana, Wolfgang Heid...
ESORICS
2010
Springer
15 years 7 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers
ICASSP
2010
IEEE
15 years 7 months ago
Visual localization and segmentation based on foreground/background modeling
In this paper, we propose a novel method to localize (or track) a foreground object and segment the foreground object from the surrounding background with occlusions for a moving ...
Hanzi Wang, Tat-Jun Chin, David Suter