Sciweavers

3128 search results - page 181 / 626
» Finite element method
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Matthew Hague, C.-H. Luke Ong
SIAMCO
2008
127views more  SIAMCO 2008»
15 years 7 months ago
Control Lyapunov Functions and Zubov's Method
For finite dimensional nonlinear control systems we study the relation between asymptotic null-controllability and control Lyapunov functions. It is shown that control Lyapunov fun...
Fabio Camilli, Lars Grüne, Fabian Wirth
IHM
2005
ACM
16 years 17 days ago
Une approche MDS hybride pour l'exploration visuelle interactive
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
Fabien Jourdan, Guy Melançon, Christophe Do...
FSS
2007
113views more  FSS 2007»
15 years 7 months ago
Spatial data fusion for qualitative estimation of fuzzy request zones: Application on precision viticulture
This article deals with a method used to describe and manage spatial knowledge. Each spatial datum is considered as an information element, whose location and value are independen...
J.-N. Paoli, Olivier Strauss, B. Tisseyre, J.-M. R...
ACMSE
2006
ACM
15 years 10 months ago
Achieving efficient polynomial multiplication in fermat fields using the fast Fourier transform
We introduce an efficient way of performing polynomial multiplication in a class of finite fields GF(pm ) in the frequency domain. The Fast Fourier Transform (FFT) based frequency...
Selçuk Baktir, Berk Sunar