413 search results - page 42 / 83 » Computing and Exploiting Tree-Decompositions for Solving Con... |
112
click to vote
AUTOMATICA
2006
15 years 1 months ago
2006
A direct algorithm to estimate continuous-time ARMA (CARMA) models is proposed in this paper. In this approach, we first pass the observed data through an input-to-state filter an...
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
121
click to vote
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
SAPIR
2004
Springer
15 years 6 months ago
2004
Springer
End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended...