Sciweavers

3818 search results - page 467 / 764
» Word Problems on Compressed Words
Sort
View
CSL
2010
Springer
15 years 7 months ago
Two-Variable Logic with Two Order Relations - (Extended Abstract)
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
Thomas Schwentick, Thomas Zeume
ICANN
2010
Springer
15 years 7 months ago
Variational Bayesian Image Super-Resolution with GPU Acceleration
With the term super-resolution we refer to the problem of reconstructing an image of higher resolution than that of unregistered and degraded observations. Typically, the reconstru...
Giannis K. Chantas
149
Voted
AMC
2008
92views more  AMC 2008»
15 years 6 months ago
Bifurcation of nontrivial periodic solutions for an impulsively controlled pest management model
In this paper, we investigate the existence of nontrivial periodic solutions for an integrated pest management model which is impulsively controlled by means of biological and che...
Paul Georgescu, Hong Zhang, Lansun Chen
ANOR
2008
123views more  ANOR 2008»
15 years 6 months ago
An approach to predictive-reactive scheduling of parallel machines subject to disruptions
: In this paper, a new predictive-reactive approach to a parallel machine scheduling problem in the presence of uncertain disruptions is presented. The approach developed is based ...
Alejandra Duenas, Dobrila Petrovic
AUTOMATICA
2008
51views more  AUTOMATICA 2008»
15 years 6 months ago
New method for identifying finite degree Volterra series
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
Wael Suleiman, André Monin