Sciweavers

5100 search results - page 708 / 1020
» The Linear Complexity of a Graph
Sort
View
ACTA
2007
96views more  ACTA 2007»
15 years 6 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
AUTOMATICA
2010
110views more  AUTOMATICA 2010»
15 years 6 months ago
Moving-horizon partition-based state estimation of large-scale systems
This paper presents three novel Moving Horizon Estimation (MHE) methods for discrete-time partitioned linear systems, i.e. systems decomposed into coupled subsystems with non-over...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...
CONSTRAINTS
2008
138views more  CONSTRAINTS 2008»
15 years 6 months ago
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
Submodular function minimization is a polynomially-solvable combinatorial problem. Unfortunately the best known general-purpose algorithms have high-order polynomial time complexi...
Martin C. Cooper
CORR
2008
Springer
80views Education» more  CORR 2008»
15 years 6 months ago
Multi-Layer Perceptrons and Symbolic Data
In some real world situations, linear models are not sufficient to represent accurately complex relations between input variables and output variables of a studied system. Multila...
Fabrice Rossi, Brieuc Conan-Guez
148
Voted
ECCC
2010
89views more  ECCC 2010»
15 years 6 months ago
Estimating the unseen: A sublinear-sample canonical estimator of distributions
We introduce a new approach to characterizing the unobserved portion of a distribution, which provides sublinear-sample additive estimators for a class of properties that includes...
Gregory Valiant, Paul Valiant