Sciweavers

1279 search results - page 89 / 256
» Fast Implementations of Automata Computations
Sort
View

Source Code
4493views
14 years 1 months ago
Matlab Source Code for Visibility restoration from a single image
This source code is the matlab implementation of our fast visibility restoration algorithm from a single image. In any publication related to the use of this code, your are kindly ...
ICPPW
2006
IEEE
14 years 4 months ago
Performance Analysis of a Parallel Discrete Model for the Simulation of Laser Dynamics
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
Jose Luis Guisado, Francisco Fernández de V...
MOBIHOC
2008
ACM
14 years 9 months ago
Fast and quality-guaranteed data streaming in resource-constrained sensor networks
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...
Emad Soroush, Kui Wu, Jian Pei
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 2 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
FCT
2009
Springer
14 years 1 months ago
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
Paul Hänsch, Michaela Slaats, Wolfgang Thomas