Sciweavers

4865 search results - page 591 / 973
» The Complexity of Graph Connectivity
Sort
View
AIPS
2007
15 years 10 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 10 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 9 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 9 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