Sciweavers

3715 search results - page 119 / 743
» A Space Optimization for FP-Growth
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
13 years 9 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
ICVGIP
2008
13 years 9 months ago
Color Harmonization for Videos
Color harmonization is an artistic technique to adjust the colors of a given image in order to enhance their visual harmony. In this paper, we present a method to automatically im...
Nikhil Sawant, Niloy J. Mitra
CEC
2010
IEEE
13 years 8 months ago
The differential Ant-Stigmergy Algorithm for large-scale global optimization
— Ant-colony optimization (ACO) is a popular swarm intelligence metaheuristic scheme that can be applied to almost any optimization problem. In this paper, we address a performan...
Peter Korosec, Katerina Taskova, Jurij Silc
AISB
1995
Springer
13 years 11 months ago
An Evolutionary Algorithm for Parametric Array Signal Processing
This paper presents an evolutionary algorithm for solving parameter optimization problems in parametric array signal processing. The method utilises the niche concept to maintain a...
Dekun Yang, Stuart J. Flockton
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
13 years 6 months ago
Human-in-the-Loop: Terminal constraint receding horizon control with human inputs
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
Rahul Chipalkatty, Magnus Egerstedt