Sciweavers

174 search results - page 1 / 35
» Fast equation automaton computation
Sort
View
JDA
2008
78views more  JDA 2008»
13 years 4 months ago
Fast equation automaton computation
Ahmed Khorsi, Faissal Ouardi, Djelloul Ziadi
ARCS
2006
Springer
13 years 8 months ago
Minimising the Hardware Resources for a Cellular Automaton with Moving Creatures
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
Mathias Halbach, Rolf Hoffmann
CAV
1997
Springer
202views Hardware» more  CAV 1997»
13 years 9 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

Publication
445views
15 years 1 months ago
Computational Study of Fast Methods For The Eikonal Equation
"A computational study of the Fast Marching and the Fast Sweeping methods for the Eikonal equation is given. It is shown that even though Fast Sweeping requires asymptotically...
Pierre A. Gremaud and Christopher M. Kuster
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 4 months ago
Fast computation of power series solutions of systems of differential equations
We propose algorithms for the computation of the first N terms of a vector (or a full basis) of power series solutions of a linear system of differential equations at an ordinary ...
Alin Bostan, Frédéric Chyzak, Fran&c...