3958 search results - page 623 / 792 » Dynamic Graph Algorithms with Applications |
127
Voted
HEURISTICS
2008
15 years 2 months ago
2008
In this article we investigate a new variant of Variable Neighborhood Search (VNS): Relaxation Guided Variable Neighborhood Search. It is based on the general VNS scheme and a new...
124
click to vote
ENVSOFT
2006
15 years 2 months ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
116
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
132
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
141
Voted
PAMI
2011
14 years 9 months ago
2011
—Extracting high-quality dynamic foreground layers from a video sequence is a challenging problem due to the coupling of color, motion, and occlusion. Many approaches assume that...