Sciweavers

4865 search results - page 591 / 973
» The Complexity of Graph Connectivity
Sort
View
AIPS
2007
15 years 9 months ago
Structural Patterns of Tractable Sequentially-Optimal Planning
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
Michael Katz, Carmel Domshlak
FLAIRS
2008
15 years 9 months ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
ESANN
2004
15 years 8 months ago
Input Space Bifurcation Manifolds of RNNs
We derive analytical expressions of local codim-1-bifurcations for a fully connected, additive, discrete-time RNN, where we regard the external inputs as bifurcation parameters. Th...
Robert Haschke, Jochen J. Steil
WSC
1998
15 years 8 months ago
Simulation of a Large-Scale Brewery Distribution System
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
K. Heinz Weigl
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 7 months ago
On sign conditions over real multivariate polynomials
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia