Sciweavers

3128 search results - page 181 / 626
» Finite element method
Sort
View
CONCUR
2009
Springer
15 years 10 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
114
Voted
SIAMCO
2008
127views more  SIAMCO 2008»
15 years 3 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
15 years 9 months 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...
113
Voted
FSS
2007
113views more  FSS 2007»
15 years 3 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...
160
Voted
ACMSE
2006
ACM
15 years 7 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