Sciweavers

471 search results - page 35 / 95
» Reduced-order observer design using a Lagrangian method
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
14 years 2 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
CDC
2009
IEEE
199views Control Systems» more  CDC 2009»
13 years 8 months ago
Towards a local Kalman filter for visual tracking
This paper considers the task of closed curve filtering for visual tracking. Segmentation-based visual tracking strategies provide the closed curve measurements to filter. This pap...
Ibrahima J. Ndiour, Patricio A. Vela
PKDD
2009
Springer
155views Data Mining» more  PKDD 2009»
14 years 2 months ago
Dynamic Factor Graphs for Time Series Modeling
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
Piotr W. Mirowski, Yann LeCun
EPEW
2006
Springer
13 years 11 months ago
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
Benchmarking as a method of assessing software performance is known to suffer from random fluctuations that distort the observed performance. In this paper, we focus on the fluctua...
Tomás Kalibera, Petr Tuma
IJCAI
2003
13 years 9 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...