Sciweavers

16504 search results - page 2945 / 3301
» New Problems, New Solutions
Sort
View
SIAMCOMP
1998
85views more  SIAMCOMP 1998»
15 years 6 months ago
Separator-Based Sparsification II: Edge and Vertex Connectivity
We consider the problem of maintaining a dynamic planar graph subject to edge insertions and edge deletions that preserve planarity but that can change the embedding. We describe a...
David Eppstein, Zvi Galil, Giuseppe F. Italiano, T...
RAS
2002
168views more  RAS 2002»
15 years 6 months ago
Neural predictive control for a car-like mobile robot
: This paper presents a new path-tracking scheme for a car-like mobile robot based on neural predictive control. A multi-layer back-propagation neural network is employed to model ...
Dongbing Gu, Huosheng Hu
SIAMCOMP
2002
112views more  SIAMCOMP 2002»
15 years 6 months ago
The Efficiency of Resolution and Davis--Putnam Procedures
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...
SIAMJO
2002
117views more  SIAMJO 2002»
15 years 6 months ago
Analysis of Generalized Pattern Searches
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
Charles Audet, J. E. Dennis Jr.
SIGARCH
2002
57views more  SIGARCH 2002»
15 years 6 months ago
An improved index function for (D)FCM predictors
The most promising value predictors to date are the finite context method predictor and a recent improvement thereof, the differential finite context method predictor. Both predic...
Martin Burtscher
« Prev « First page 2945 / 3301 Last » Next »